commit: 27c32adec4b36b71d26b6d9bc3eadf91eddd19d7

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

Wed Aug 07 22:20:36 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Aug 07 22:20:36 2024 +1000
tree: fe13029e2a983be82dfc8a0c7b0cfdb602a48079
parent: 5cd3a4ab3fa13c9f1be524f90694ff9d517228bf [diff]

suggestions / golfs

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

1 file changed

tree: fe13029e2a983be82dfc8a0c7b0cfdb602a48079

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).