commit: ceed9867d35d62febc7c3048f13d7b84c7b8b4ef

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

Mon Jan 06 21:08:39 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Jan 06 21:08:39 2025 +1100
tree: 6f0d15df2a3c9e02a44e08f9aefd17a92d5a8184
parent: 78ddee911287bf7b0069a695b01001db2654a765 [diff]

feat: Array lemma alignment; fold and map

4 files changed

tree: 6f0d15df2a3c9e02a44e08f9aefd17a92d5a8184

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