commit: c5a2e0931991adaefbfad51dfe4a84a1c0ff6a8e

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

Thu Jun 25 10:58:40 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Thu Jun 25 15:00:45 2026 +0000
tree: 41512b1a70e5086386f940e97468314d0725025c
parent: ab9722836dea9e2f5ca3157f14cc1460454b3a67 [diff]

feat: load IR lazily

19 files changed

tree: 41512b1a70e5086386f940e97468314d0725025c

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.