commit: ee1b05f22d0331f841015f5e0aded8f2f95ce280

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

Thu Jan 16 20:24:06 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Thu Jan 16 20:24:06 2025 +1100
tree: 8f78f43a85c77aaea9960e35793b42b58275dba8
parent: f4c9934171a22d376fb7c318ce2dcf80ab0eaf0e [diff]

feat: align List.replicate/Array.mkArray/Vector.mkVector lemmas

3 files changed

tree: 8f78f43a85c77aaea9960e35793b42b58275dba8

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