commit: ffdbe40971c54c55eab235598c7f2f7fcb5d885a

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

Tue Jun 17 09:49:04 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 17 09:49:04 2025 +1000
tree: f7ea5cc1ef03cd5b679c2fce1e1ad7c2a7068358
parent: 9e913a29dec112d065ba51fdc8e7c748fe93cd6b [diff]

fix: correct Lean.Grind.NatModule

3 files changed

tree: f7ea5cc1ef03cd5b679c2fce1e1ad7c2a7068358

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.