commit: cb5f7f54e33757b5ffc9a293295a16ff87f1194a

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

Mon Feb 24 12:16:10 2025 +1100
committer: Kim Morrison <kim@tqft.net>

Mon Feb 24 12:16:10 2025 +1100
tree: 79635ff9bdf61d4edf48a082924c5556dc24d1e5
parent: da32bdd79c8ab655ab7bafa8c2860a76febad5d4 [diff]

chore: align List/Array/Vector.leftpad

7 files changed

tree: 79635ff9bdf61d4edf48a082924c5556dc24d1e5

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