commit: 525be81ff37f39a8f4affcef5808f869993d2221

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

Mon Mar 04 23:44:18 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Mar 04 23:44:18 2024 +1100
tree: 754a35375a73fc046ec0e5f005c7fd994ff4f71c
parent: 791142a7ff8f4d1f03aff8d8c2aa0f6a10db12dd [diff]

chore: cherry-picking v4.6.1 release notes

RELEASES.md[diff]

1 file changed

tree: 754a35375a73fc046ec0e5f005c7fd994ff4f71c

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.