commit: f30be728d554f31cf0e7eb422a405353c8b0c088

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

Tue Oct 31 18:34:32 2023 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Tue Oct 31 18:34:32 2023 +1100
tree: 645e60453ee819d71dabeb7e382d0d764c65e3af
parent: 0d9b9297bbc08aaab64138f17932b9ddb4ecc1d2 [diff]
parent: 49bdeb3c4641bc095e54b9f882c93b0c963c9e05 [diff]

Merge remote-tracking branch 'origin/master' into begin-dev-cycle-v4.4.0

tree: 645e60453ee819d71dabeb7e382d0d764c65e3af

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.