commit: 43d6eb144e7a84af7c6eb40e60c9d2538367d6eb

[log]
author: David Thrane Christiansen <david@davidchristiansen.dk>

Fri Mar 01 06:38:18 2024 +0100
committer: GitHub <noreply@github.com>

Fri Mar 01 05:38:18 2024 +0000
tree: e0841033c453ea21aa5a3e34e5a3afe989fae906
parent: ed02262941fd72750d0626edbdd31785b64102ea [diff]

chore: add error recovery to RELEASES.md (#3540)

Adds the missing RELEASES.md from #3413. Apologies for the oversight!

RELEASES.md[diff]

1 file changed

tree: e0841033c453ea21aa5a3e34e5a3afe989fae906

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.