commit: 38fd61ddd733eb15c13880150cc11e33a5ec2ad9

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

Tue Mar 05 14:07:28 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Mar 05 14:07:28 2024 -0800
tree: 91a161d5a010e24569f262c28c4cddbc25bee70f
parent: 4106593de7655fb68307c39d52de9230b9883ef9 [diff]

chore: update stage0

14 files changed

tree: 91a161d5a010e24569f262c28c4cddbc25bee70f

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.