commit: 38865c56808e54d89c07aa22590e123fa412bd87

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

Tue Oct 28 17:37:21 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Oct 28 17:37:21 2025 +1100
tree: 196bd6ee72a9cd2041be933c4c39835e3a5667d0
parent: 905c960f169b95fea2fac7dc94077bc1e92de311 [diff]

fix deprecation

src/Init/Data/Fin/Lemmas.lean[diff]

1 file changed

tree: 196bd6ee72a9cd2041be933c4c39835e3a5667d0

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.