commit: 7c99334558ab527f9d296aee95f74945030d00aa

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

Mon Mar 04 11:03:38 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Mar 04 11:03:38 2024 +1100
tree: 99f7cbe5723c20e848b75a9413c2b057a81825e0
parent: 015af6d108245cf5f6be9c297999c2b4143d1555 [diff]

chore: add release notes for #3507 and #3509

RELEASES.md[diff]

1 file changed

tree: 99f7cbe5723c20e848b75a9413c2b057a81825e0

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.