commit: ce0b2ebf8e5d2adbf25f55aee10300441c121d25

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

Fri May 30 09:50:38 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri May 30 09:50:38 2025 +1000
tree: b0d3ffe669c73aaff20b977dfc1d83fda2e33a0c
parent: 020da5bffbd2bd83498a6c9279e20fb97e0773d7 [diff]

chore: add test case where grind causes a PANIC

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

1 file changed

tree: b0d3ffe669c73aaff20b977dfc1d83fda2e33a0c

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.