commit: ea2b745e575232eb7c474801ded022a47c4eb5a4

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

Wed Nov 05 23:17:53 2025 +0100
committer: GitHub <noreply@github.com>

Wed Nov 05 22:17:53 2025 +0000
tree: 71ee401e2afa0a53ddbe7eac85696910afa092b9
parent: 28a3cf9a6cc394316b79bbbdd868e605ee9d8784 [diff]

chore: new module system adjustments for the Mathlib port (#11093)

2 files changed

tree: 71ee401e2afa0a53ddbe7eac85696910afa092b9

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.