commit: 120049bd00e71b67b1897761b86db4323cca3e22

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

Tue Jun 03 11:28:08 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Tue Jun 03 11:28:08 2025 +1000
tree: c772520ee701c01e2aff6530c99f9744ab5e5723
parent: 3452a8a2e5744b9efb4ed1a4877e2bc0b169e210 [diff]

chore: add failing grind test

tests/lean/grind/grind_local_namespace.lean[Added - diff]

1 file changed

tree: c772520ee701c01e2aff6530c99f9744ab5e5723

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.