commit: 5d3d2d387de7ff5313df0fda5f3353a115c8fe87

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

Tue Oct 06 12:43:01 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Tue Oct 06 12:43:01 2026 +0000
tree: c7f4f897b6c7a3bed1b464819aa6bb8644eaf062
parent: 80fbe9c02f826f7e2ad0d69fa492585be9fdfe75 [diff]

perf: return a pointer into the ir cache

src/library/ir_interpreter.cpp[diff]

1 file changed

tree: c7f4f897b6c7a3bed1b464819aa6bb8644eaf062

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.