commit: 96e4a0b5700c6a30518153899adee8e396aa98b6

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

Thu Oct 31 20:02:31 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Oct 31 20:02:31 2024 +1100
tree: 6c146fda63f3c75be285e5d63633ded0e2c51528
parent: 6147f6990c3a95ebffc5ecc4724762ad4250052d [diff]

fix merge

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

1 file changed

tree: 6c146fda63f3c75be285e5d63633ded0e2c51528

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