commit: f072543745be751e66c4a408b17771289e9dd27a

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

Wed Jun 18 11:46:08 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Jun 18 12:24:41 2025 +1000
tree: 715051aa70ef1e3420a9d7d9ff664a728888afd4
parent: e129e75e661d066360ee8744aeb8ab176cbc9ad7 [diff]

feat: grind annotations relating Nat/Fin fold operations to List

2 files changed

tree: 715051aa70ef1e3420a9d7d9ff664a728888afd4

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.