commit: 488d944eb97860272dd0888459a7225d0b59a52e

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

Thu May 29 20:01:41 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu May 29 20:01:41 2025 -0700
tree: 300c0031c3649ff6e04236be6c240f06136f4a83
parent: d741cfb0ca391674739f2c379f4da17a8a878659 [diff]

test: nested proof propagation

tests/lean/run/grind_nested_proofs.lean[diff]

1 file changed

tree: 300c0031c3649ff6e04236be6c240f06136f4a83

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.