commit: df2c8d4cc178f54850d98af8b95a0ae23f2d94c9

[log]
author: Kim Morrison <qim.morrison@gmail.com>

Wed Aug 26 18:09:14 2026 +1000
committer: Kim Morrison <qim.morrison@gmail.com>

Wed Aug 26 18:09:14 2026 +1000
tree: 511698b4c335ccaad47f68febaaa75ced1753e02
parent: 26ee7c177f4bc71d1263d54eda9f1da632fd237c [diff]
parent: b9c9eb9a3acefaa242c1da2a31e3723e94fde3a5 [diff]

Merge master into sarray-capacity-overflow

tree: 511698b4c335ccaad47f68febaaa75ced1753e02

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.