commit: 804658b2401ffd7b66ace3200bb51661b74f9cc6

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

Mon May 26 09:00:55 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 26 09:00:55 2025 +1000
tree: d6351852599813e8718d24c3aa42812bbf4d3a57
parent: 9982bab93e0c749d3c4e20d0f8ce21e939a1e5e9 [diff]

chore: update syntax in grind_ite example

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

1 file changed

tree: d6351852599813e8718d24c3aa42812bbf4d3a57

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.