commit: bac33518dc72066b25b2e084f7fa25b50df6a923

[log]
author: Henrik Böving <hargonix@gmail.com>

Thu Feb 19 09:53:01 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Thu Feb 19 09:53:01 2026 +0000
tree: fb81b3f2f5616ea1ace5fc87907078541cfdfb4c
parent: 6410de4726fa3a79024f3f056029e61e765367e8 [diff]

perf: inline Level Data accessor

src/Lean/Level.lean[diff]

1 file changed

tree: fb81b3f2f5616ea1ace5fc87907078541cfdfb4c

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.