commit: 57c3b8f8be831ded160eebebb66f87a4ab275a84

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

Thu Feb 15 14:35:57 2024 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Thu Feb 15 14:35:57 2024 +1100
tree: 910a106a976d3dfb70f61d846e7718def6888dd1
parent: ef833fac24b64e892d156bbce8f8686cdf1b2173 [diff]

chore: update stage0

17 files changed

tree: 910a106a976d3dfb70f61d846e7718def6888dd1

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.