commit: d8a74fa4cd511bacfdc3d3202891748f09f85905

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

Thu May 02 16:36:00 2024 -0700
committer: Leonardo de Moura <leomoura@amazon.com>

Thu May 02 16:38:59 2024 -0700
tree: 015120beba229477b420fe5025604c990e9c14e7
parent: 91e52da04a6e82d29cf84760c863bf64eba3fbea [diff]

chore: fix typos

4 files changed

tree: 015120beba229477b420fe5025604c990e9c14e7

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