commit: 99f88f7541180086d9e2cb534f22a900a5006d4d

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

Fri Jan 23 05:20:01 2026 +0000
committer: Kim Morrison <kim@tqft.net>

Fri Jan 23 05:20:01 2026 +0000
tree: 281712af182e920e6e1d10d39a5d8fc49e1202ba
parent: b2f485e352f67675b2e8429bc58df5e12a57baf5 [diff]

chore: updates to grind_indexmap test case

2 files changed

tree: 281712af182e920e6e1d10d39a5d8fc49e1202ba

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.