commit: b7dc5cc2e3f9adaa98497475ef6074ef19edd64e

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

Thu Feb 13 21:16:16 2025 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Thu Feb 13 21:16:16 2025 -0800
tree: befede32f128e7a2a9c003082f7fb3414e7229d8
parent: dcd4bf86b7d17f27953ee06867c33b0ae5e2a945 [diff]

fix: typos

2 files changed

tree: befede32f128e7a2a9c003082f7fb3414e7229d8

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