commit: 2e6a534250189944cb9d7db08340d33c673c6c33

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

Sat Jun 28 16:29:19 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Sat Jun 28 16:29:19 2025 +1000
tree: 7991296dbd092d70b32f2c4ee469102a792b51f9
parent: 08737054fc9531c52ea8b918ef62c93600738648 [diff]

fix: some inconsistencies in Map grind annotations

20 files changed

tree: 7991296dbd092d70b32f2c4ee469102a792b51f9

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.