commit: a0d7e52b3e4dd2d667b7d489d4050018871764f0

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

Wed Oct 25 16:05:29 2023 +0200
committer: Scott Morrison <scott.morrison@gmail.com>

Mon Nov 13 19:37:28 2023 +1100
tree: 6d6b6eaed2e29f7aa1182aa1441c6e0a247647bb
parent: 8cfcf7ce61bba328ed57d97bb12cf1a0fc40a0b9 [diff]

chore: remove obsolete code

3 files changed

tree: 6d6b6eaed2e29f7aa1182aa1441c6e0a247647bb

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.