commit: d2256bcc53134134b6488e3cb1c7063a1d4a0dd6

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

Fri Aug 29 20:31:48 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Aug 29 20:31:48 2025 -0700
tree: 6ea0b634cb45519e60aa23d03270d8984ad4d744
parent: 909924ef8547e2ed5c328b83a0a381209d0612ee [diff]

imports

13 files changed

tree: 6ea0b634cb45519e60aa23d03270d8984ad4d744

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.