commit: a8e15df07b7cbb3aa863f99632d25881c75336c4

[log]
author: Joachim Breitner <mail@joachim-breitner.de>

Mon Jan 08 10:17:31 2024 +0100
committer: GitHub <noreply@github.com>

Mon Jan 08 10:17:31 2024 +0100
tree: 5b27646735df4543fc595327076ad9edb9f23d63
parent: 2470c064190e3af10f889e63c90a05aa9e0e5547 [diff]

Apply suggestions from code review

Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

doc/declarations.md[diff]

1 file changed

tree: 5b27646735df4543fc595327076ad9edb9f23d63

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.