commit: e0c2cfd9b5019d7103092479faa88a8067264eee

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

Wed Jul 23 14:54:59 2025 +0200
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Jul 23 16:15:25 2025 +0200
tree: ba21057cfa3fcb9d95ee32d68e0f717fcb8eaace
parent: 9d30226ad4039f7873dbf83166c5a49db8dedcb9 [diff]

temp heartbeats bump

3 files changed

tree: ba21057cfa3fcb9d95ee32d68e0f717fcb8eaace

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.