commit: 1ecdf8ed60d63fe6d087d01732ae00985d50d6b9

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

Tue Aug 18 20:35:50 2026 +0000
committer: Leonardo de Moura <leomoura@amazon.com>

Tue Aug 18 21:01:26 2026 +0000
tree: 215dff0d3d3484a3624a8a9fd1d3be16ff5829b7
parent: 6f9cedd89cb1173c781398e24e90a4dc746ea428 [diff]

chore: inline

2 files changed

tree: 215dff0d3d3484a3624a8a9fd1d3be16ff5829b7

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.