commit: 0a5c2afef3fc25a5e218beb9488b3959d3efd99a

[log]
author: Kim Morrison <kim@tqft.net>

Wed Nov 13 10:44:45 2024 +1100
committer: Kim Morrison <kim@tqft.net>

Wed Nov 13 10:44:45 2024 +1100
tree: acedea03c155239bd2cd17ee9eecc99d03daaf19
parent: 94c775e8c77c01614beb7f659641f64c9ad4bdde [diff]

chore: update stage0

63 files changed

tree: acedea03c155239bd2cd17ee9eecc99d03daaf19

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 (documentation source: doc/make/index.md).