commit: 2f71e22457a37c0752be6504218d459a563c985f

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

Fri Jun 27 12:37:13 2025 -0700
committer: Cameron Zwarich <cameron@lean-fro.org>

Fri Jun 27 13:29:25 2025 -0700
tree: d431e5e4c7601eb8111d23b91e33f65b13ad2eb2
parent: a0e425748ae1e549ce74d43b2de79d76a2ff6a94 [diff]

perf: partially inline lean_dec_ref_cold

2 files changed

tree: d431e5e4c7601eb8111d23b91e33f65b13ad2eb2

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.