commit: 6320c176905babe7d8a393b43691ee053d64b11c

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

Tue Nov 12 19:05:43 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Tue Nov 12 19:05:43 2024 +1100
tree: 15a3e9352f20ffa385f545858f40e0797731d30f
parent: 5e01e628b2ef90d8881a5ba10340032eeeabc5d4 [diff]

feat: various minor changes to List/Array API

7 files changed

tree: 15a3e9352f20ffa385f545858f40e0797731d30f

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