commit: 0815df9167b93017ac8c2873382c76afcbc406b8

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

Wed Oct 29 16:40:45 2025 -0400
committer: Leonardo de Moura <leomoura@amazon.com>

Wed Oct 29 16:40:45 2025 -0400
tree: 0e5297ccec2e09f99af3b7af7a574bf38dc6a1f9
parent: 88430d6b33f37246a2074dcd33d7e2e1ef26a87d [diff]

fix:

2 files changed

tree: 0e5297ccec2e09f99af3b7af7a574bf38dc6a1f9

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.