commit: 71021b3475427aaab8f1a03d00ab02ab6b61fac0

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sat Oct 25 17:14:26 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Oct 25 17:14:26 2025 -0700
tree: fa403a8aba2614578bdc72e8b4ffcf01f639b24a
parent: 3655828ff1f791cdcb3ccd9f69b79e9fea591ca8 [diff]

test: Kim's mwe

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

1 file changed

tree: fa403a8aba2614578bdc72e8b4ffcf01f639b24a

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.