commit: e89eb67ec6206bc6442514fb9c6c598ba7246ef4

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

Thu Feb 19 16:02:58 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Wed Feb 25 09:52:08 2026 +0000
tree: 6d6e0974b8d28d5a640069f58e2776f5481fcbd0
parent: 87ec768a509c45987a7d73258da0cc1ef047925c [diff]

chore: prepare core for #12602

9 files changed

tree: 6d6e0974b8d28d5a640069f58e2776f5481fcbd0

README.md

This is the repository for Lean 4.

About

Installation

See Install Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.