commit: 078cef09992e6a17f2c79657c8336a2c48e28944

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

Fri Dec 15 09:21:03 2023 +0100
committer: Sebastian Ullrich <sebasti@nullri.ch>

Fri Dec 15 09:21:03 2023 +0100
tree: 70a1bcff768f08f5d06efbe6372ddc96b1ee6691
parent: 893ea994f47814b7816ebf82e346ce296df76b9f [diff]

trigger CI again

tree: 70a1bcff768f08f5d06efbe6372ddc96b1ee6691

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.