commit: cafe108199c37aca833c32f9983c53a31f53c31d

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

Tue Oct 10 17:20:48 2023 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Tue Oct 10 17:20:48 2023 +0200
tree: a9e666cba2034992e7044f721a2e5d7ef540fd46
parent: 8034f4d283f75fb0d6e27aa5d2d261a1ec348583 [diff]

do_check_interrupted

2 files changed

tree: a9e666cba2034992e7044f721a2e5d7ef540fd46

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.