commit: 56cfe8ee3588178875607fd8823274b086d6f3cb

[log]
author: Scott Morrison <scott.morrison@gmail.com>

Sun Nov 12 10:42:42 2023 +1100
committer: Scott Morrison <scott.morrison@gmail.com>

Sun Nov 12 10:42:42 2023 +1100
tree: 32eb385787ab3a7687385d9096b01e12bb291eee
parent: 9f4f2a8678a18dcab2ba888d251d5b9c4d8a70fd [diff]

add doc-string

src/Init/Prelude.lean[diff]

1 file changed

tree: 32eb385787ab3a7687385d9096b01e12bb291eee

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.