commit: 0289687b5b37cefba6fe59ff3777f9561046ac06

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Sun Oct 29 10:19:44 2023 -0700
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Nov 06 22:21:16 2023 +1100
tree: 8455496686f155d89aa2021cd74d99222a04b5e0
parent: 14c382b51a832bb177a84d88300609a27e784779 [diff]

chore: update `RELEASES.md`

RELEASES.md[diff]

1 file changed

tree: 8455496686f155d89aa2021cd74d99222a04b5e0

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.