commit: e814fc859e8feb2c7e1c94a1d8b05e8b27149e62

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

Mon Mar 04 23:59:00 2024 +1100
committer: GitHub <noreply@github.com>

Mon Mar 04 12:59:00 2024 +0000
tree: e250b85694d59ba1a8d0837d81c68c306a86028d
parent: 093e1cf22a3090479c97536585e56888fb5e6f30 [diff]

chore: cherry-picking v4.6.1 release notes (#3592)

RELEASES.md[diff]

1 file changed

tree: e250b85694d59ba1a8d0837d81c68c306a86028d

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.