commit: fe24df9ecaba00a350d3a52d4c9c95f59113cf07

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

Tue Apr 22 17:41:32 2025 +0200
committer: GitHub <noreply@github.com>

Tue Apr 22 17:41:32 2025 +0200
tree: b03b29dfc3f12f9e85149dbd43b27cd49533b155
parent: 68fad409c247b67fa2906fda862fd4e22fdcaf02 [diff]

custom build type

2 files changed

tree: b03b29dfc3f12f9e85149dbd43b27cd49533b155

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 (documentation source: doc/make/index.md).