commit: 1739bcaa38e74238f4bebe048dce0f125bcc3d3b

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

Wed Sep 25 08:59:55 2024 +1000
committer: Kim Morrison <kim@tqft.net>

Wed Sep 25 08:59:55 2024 +1000
tree: 9ef125700d64026934ce29c82884277685482ff1
parent: a6f0112fc5c394af7ad4325199ccf6d44aa04aed [diff]

chore: cleanup of Array docstrings after refactor

2 files changed

tree: 9ef125700d64026934ce29c82884277685482ff1

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