commit: a50b8cbe463ba0e8f7f25cdc74d3a1fa65cff70f

[log]
author: tydeu <tydeu@hatpress.net>

Thu Mar 14 13:14:17 2024 -0400
committer: tydeu <tydeu@hatpress.net>

Thu Mar 14 13:15:58 2024 -0400
tree: a92ac80d4682158bb26b5009eadf37769a48ac15
parent: b0df3da84e09c69befddbdf950418533c1dedfcd [diff]

doc: add note on Lake changes to `RELEASE.md`

RELEASES.md[diff]

1 file changed

tree: a92ac80d4682158bb26b5009eadf37769a48ac15

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.