commit: 1394bb371d61565245fa67936ec78c7c50fd6deb

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

Sun Jun 29 20:57:15 2025 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Mon Jun 30 13:27:56 2025 -0700
tree: 81913dc825140fc1646674c671dea5ed3bacd773
parent: 5049a4893e5b51f5267056e1cdaffdc25dacdbf5 [diff]

chore: typos

4 files changed

tree: 81913dc825140fc1646674c671dea5ed3bacd773

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.