commit: 69ceb4739042882ba682f7c96912e5f4da57ba3e

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

Fri Apr 18 21:05:05 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Apr 18 21:05:05 2025 -0700
tree: 6b99a94c8425d1540b6666a9fd2e7913ebbb1ea5
parent: 7d284d77cb794144b454ea68904d31162042060b [diff]

chore:

3 files changed

tree: 6b99a94c8425d1540b6666a9fd2e7913ebbb1ea5

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 (documentation source: doc/make/index.md).