commit: e8020567c3d10a47919a20bfd9a789f8871e613e

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 01 17:53:27 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Jan 01 17:55:20 2025 -0800
tree: 2ebfffa5fcbf8b5bc31541bee75491fc504042b1
parent: a8d09dad1bfd7eab0c39b1e72a5924065d618b58 [diff]

fix: bug at `markNestedProofs` in `grind`

2 files changed

tree: 2ebfffa5fcbf8b5bc31541bee75491fc504042b1

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean (documentation source: doc/make/index.md).