commit: a0914e68ed23b5e52f9579c6d431181b91f7b14b

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

Sun Dec 08 22:20:07 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Sun Dec 08 22:20:07 2024 +1100
tree: 0193511e4ab3b35e74ca2f4c96bb20ba0cb3e135
parent: 4dd182c55440aadf81a38029f6e3c86ea4857079 [diff]

chore: cleanup of Array lemmas

10 files changed

tree: 0193511e4ab3b35e74ca2f4c96bb20ba0cb3e135

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