commit: 7a2e87fabe90ecd43765c6512bbee9cce4847e6f

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

Sun Feb 01 20:49:19 2026 +1100
committer: Kim Morrison <kim@tqft.net>

Sun Feb 01 20:49:19 2026 +1100
tree: 40927978ce95f02ff11b1862aaddaf9284883ce5
parent: ec60620534cc25d1e16612468a7d3ba80cf91938 [diff]

chore: update grind IndexMap example

3 files changed

tree: 40927978ce95f02ff11b1862aaddaf9284883ce5

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.