commit: df2571286bb3d99f69d0cf8cfbd2220222b272f8

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

Sat Feb 17 17:19:53 2024 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Sat Feb 17 17:19:53 2024 -0800
tree: b024b1a3b6eb0d8c7a0dfc1b6017ef9c5e5a3a55
parent: b7dcd434fb5fe74748c228caa7a62e78c6964fd8 [diff]

chore: update stage0

207 files changed

tree: b024b1a3b6eb0d8c7a0dfc1b6017ef9c5e5a3a55

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.