commit: 91114c9676b2b29befef1314de45dc812e49b83b

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

Thu Sep 04 15:57:58 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Thu Sep 04 15:57:58 2025 +1000
tree: 2add5eb42fc3a5f2891f9dd8d8d322f955e5526c
parent: 85f168bbd022ed6acbf98fd155e56d3f85d15289 [diff]

chore: add grind test case with panic

tests/lean/run/grind_field_panic.lean[Added - diff]

1 file changed

tree: 2add5eb42fc3a5f2891f9dd8d8d322f955e5526c

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.