commit: b76d5bacffaeb06ba4f5036a1dc500ca4847f93b

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

Sat Aug 29 08:29:22 2026 +0000
committer: Sebastian Ullrich <sebasti@nullri.ch>

Sat Aug 29 08:54:05 2026 +0000
tree: 3ce0d6957990b9363f7f3303030b81268a60b48c
parent: e991a05e359a25988f49bff3ab8af986e959b866 [diff]

perf: split `Core.Context` into hot and cold subobjects

src/Lean/CoreM.lean[diff]

1 file changed

tree: 3ce0d6957990b9363f7f3303030b81268a60b48c

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.