commit: 7db2730321b787155643f84eb10ddc0b043d9adc

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

Sun Aug 17 11:31:46 2025 +0200
committer: Henrik Böving <hargonix@gmail.com>

Thu Aug 21 19:19:43 2025 +0200
tree: eee922c14b2b2a05ce15768ab6a73c2cad4e17a1
parent: 0fb9c9db5f871168259f1f539b0c5deeec5393d1 [diff]

try restoring inlining on alloc-returning functions

src/Std/Data/DHashMap/Internal/Defs.lean[diff]

1 file changed

tree: eee922c14b2b2a05ce15768ab6a73c2cad4e17a1

README.md

This is the repository for Lean 4.

About

Installation

See Setting Up Lean.

Contributing

Please read our Contribution Guidelines first.

Building from Source

See Building Lean.