commit: f86255cc5062c43d8f8d776688b519b38579f098

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

Tue Jun 24 05:05:01 2025 +0200
committer: Kim Morrison <kim@tqft.net>

Tue Jun 24 05:05:01 2025 +0200
tree: 52a1fb4d548b25ddac8b1493ec41ae3c551bf4ec
parent: 391184125ffe9b69998ed503d7d2b928f9f84019 [diff]

test instance

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

1 file changed

tree: 52a1fb4d548b25ddac8b1493ec41ae3c551bf4ec

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.