commit: 0f85147de70420e1d8c54d120a93b85a80e2e360

[log]
author: Kim Morrison <kim@tqft.net>

Mon Jun 16 12:37:39 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon Jun 16 12:37:39 2025 +1000
tree: 611f851c968322bbae4fb58c373676d4cd8d5afe
parent: db414957a0402da9cd44773d37186b1c9220d359 [diff]

chore: cleanup of grind tests

7 files changed

tree: 611f851c968322bbae4fb58c373676d4cd8d5afe

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.