commit: 9394f41f08f03ec336966dd4844cfa1d5cf14d21

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

Fri Jan 02 11:31:47 2026 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Jan 02 11:31:47 2026 -0800
tree: 0dd0e0ed3597eed42589fe53f3fc47b7604cc541
parent: 94f60998206cc013e1bdfb4285e5cfffb9e302d9 [diff]

chore:

37 files changed

tree: 0dd0e0ed3597eed42589fe53f3fc47b7604cc541

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.