commit: 59d0515aa39a633d4957fcec957ec7d251e98a17

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

Wed Mar 05 16:25:10 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 05 16:27:31 2025 -0800
tree: a36a76ce5d0000e59fa77917aae8e241813fac94
parent: 9ae2ac39c9512461643e268f0feff5654044776f [diff]

fix: `MarkNestedProofs`

2 files changed

tree: a36a76ce5d0000e59fa77917aae8e241813fac94

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).