commit: c41327afffafeb190822ac748fbe240515ed4548

[log]
author: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 06 13:36:20 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Mar 06 13:36:20 2024 -0800
tree: f3401d122641770907c316d17791cc6972879b62
parent: 73bc2a9c6cc5c5e9caaaa2568ff2ba1569f699fc [diff]

chore: update stage0

9 files changed

tree: f3401d122641770907c316d17791cc6972879b62

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.