commit: 0ade0e084ce8d766df6504137a25313035f0aea7

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

Fri Dec 29 16:22:51 2023 -0800
committer: Leonardo de Moura <leomoura@amazon.com>

Fri Dec 29 16:22:51 2023 -0800
tree: faa0d15c168ea91fd4f44a59659a40a15476c07d
parent: 4caa2f42b281bb44120a0fa84c2437d61ae95760 [diff]

chore: address feedback

2 files changed

tree: faa0d15c168ea91fd4f44a59659a40a15476c07d

README.md

This is the repository for Lean 4.

We provide nightly releases and have just begun regular stable point releases.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.