commit: 02fe2b6755b780be651a1d26c387699294da102f

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

Wed Sep 18 18:11:42 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Sep 18 18:11:42 2024 +1000
tree: 4816ad106821993feda45345b6919cdd88c11fce
parent: 9c0ad54d04708baba256dcb8a5a069a6c4f8bfd4 [diff]

protect

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

1 file changed

tree: 4816ad106821993feda45345b6919cdd88c11fce

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 (documentation source: doc/make/index.md).