commit: f8b844c4f13842ffb049d5a5a9d7cc45bcbad866

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

Wed Jun 18 17:43:27 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 18 17:43:27 2025 +1000
tree: 80ee8e5cf29c9daf838637d57144afa14c7dd314
parent: d131cf39c1eea72d782edad81da67ef524fda62a [diff]

chore: add test case for grind panic

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

1 file changed

tree: 80ee8e5cf29c9daf838637d57144afa14c7dd314

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.