commit: 6e9a16fcd1af0ee34b4d7031dc4ff6be2e3e237f

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

Tue Jul 29 18:59:01 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jul 29 18:59:01 2025 +1000
tree: 078018f8b427ece4d1fd9aa9acc5081c67c73f09
parent: 5c2ae7b414fdf7181118d67050d5436b180948cb [diff]

chore: grind test for #9369 regression

tests/lean/run/grind_TreeMapD.lean[Added - diff]

1 file changed

tree: 078018f8b427ece4d1fd9aa9acc5081c67c73f09

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.