commit: 2b7b966d4608ecdb95112e611c9ce3a551bbc146

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

Sat Sep 27 22:11:59 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Sep 27 22:11:59 2025 -0700
tree: 2b4ecacb1c96a2fc334f502accc8f0e88a08f395
parent: 3ce5097c3c30b754653794d6190c8780481a8668 [diff]

chore: examples

tests/lean/run/grind_guide_2.lean[Added - diff]

1 file changed

tree: 2b4ecacb1c96a2fc334f502accc8f0e88a08f395

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.