commit: bf4f4a01b189ea7fa1524a257aea2f313b98182e

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Tue Feb 13 14:48:07 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Feb 13 14:48:07 2024 +1100
tree: 29266a7b257f3c591faa6d41d5b6fcfd657e48a0
parent: 03653fcb45b1d9285d315eb8a80cff50735e6bc9 [diff]

CI stalled, bumping

tree: 29266a7b257f3c591faa6d41d5b6fcfd657e48a0

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.