commit: 602ebed61088b2c2ac1d80d3382935c620b5500e

[log]
author: Sebastian Ullrich <sebasti@nullri.ch>

Mon Oct 02 14:09:33 2023 +0200
committer: GitHub <noreply@github.com>

Mon Oct 02 14:09:33 2023 +0200
tree: 1285905bc727f739cbc3a8f8ef7e9ac001eb8944
parent: 310d8fd15da63a9a2e662a5270bc04ba56de63a5 [diff]

Update src/Leanc.lean

Co-authored-by: Scott Morrison <scott@tqft.net>

src/Leanc.lean[diff]

1 file changed

tree: 1285905bc727f739cbc3a8f8ef7e9ac001eb8944

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.