commit: c04d061a9fc6f693c763a95e0378a709a42be92c

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

Wed Apr 24 15:55:41 2024 +1000
committer: Scott Morrison <scott.morrison@gmail.com>

Wed Apr 24 15:55:41 2024 +1000
tree: 355e58c90821d78b77b51c169d1dfec368598bd3
parent: 28a946ac6a4849db026ac0ca80e57d2dfb7be2a7 [diff]
parent: 41697dcf6cab7ec82723ba404f2bda7a4526bb2b [diff]

Merge remote-tracking branch 'origin/master' into issues_summary.sh

tree: 355e58c90821d78b77b51c169d1dfec368598bd3

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.