commit: 36dcecdd3948fcbea5fc219ddefda1bef3d1f1b6

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

Sun Apr 27 12:54:50 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Sun Apr 27 13:09:57 2025 -0700
tree: 2bcdd03aee6a365b8a0e949c8aa0442f4cfb6319
parent: 9fe21a41a679d525e603aa20186b36ad13ed23dd [diff]

fix:

3 files changed

tree: 2bcdd03aee6a365b8a0e949c8aa0442f4cfb6319

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).