commit: c4a732bbd95d2ed31c1be94e5dd22ae88874b7e9

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

Thu Nov 16 20:57:50 2023 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Nov 16 20:57:50 2023 +1100
tree: cff90f66f7d3864d7d80392c761d2f20a0453b9e
parent: 139973217c62b929bbc387cac809a6819721fc94 [diff]

chore: update release notes after v4.3.0-rc2

RELEASES.md[diff]

1 file changed

tree: cff90f66f7d3864d7d80392c761d2f20a0453b9e

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.