commit: bd506107d652535480c46e5044dd1d7713eb24e4

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

Fri Dec 22 09:13:26 2023 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Fri Dec 22 09:13:26 2023 +1100
tree: e3e253aa8684cfa14689c06ad2d3d2bcf7af0227
parent: 63d00ea3c2bdd2553357e40b615645bbe23248db [diff]

chore: update release notes, set LEAN_VERSION_MINOR 6

2 files changed

tree: e3e253aa8684cfa14689c06ad2d3d2bcf7af0227

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.