commit: 24279fb285ddadbde8dd324a21bba91405f25c97

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

Fri Jun 20 10:54:05 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Jun 20 10:54:05 2025 +1000
tree: 460a7df8b7b41b43ec3bb6591887051bbfa0e2ac
parent: 8af3b8920373017a114ab97ea9a8ca549fef7ffe [diff]

chore: minimize grind panic

tests/lean/grind/panic.lean[diff]

1 file changed

tree: 460a7df8b7b41b43ec3bb6591887051bbfa0e2ac

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.