commit: 82ed33ec5610ee9b1f46038c229d7c98ef2a9a89

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

Tue Jun 10 21:13:01 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 10 21:13:38 2025 +1000
tree: 6e909f92fd14f32b2cecc0aedd771dc01ebe5eca
parent: 2d67524e42049d929eedf1cc9d40313f2c8bbc1a [diff]

chore: minor fixes to grind_indexmap test case

tests/lean/run/grind_indexmap.lean[diff]

1 file changed

tree: 6e909f92fd14f32b2cecc0aedd771dc01ebe5eca

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.