commit: 5b8e29b35252fb7c936b0f85a74eb661dc42d1cb

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

Sat Aug 10 12:37:17 2024 +0200
committer: Cameron Zwarich <cameron@lean-fro.org>

Fri Jun 27 08:01:34 2025 -0700
tree: 1647f459abe4f293c0dddaf81eef2b5c4cf2bfd8
parent: bd16c0f87d978193d2988fdd09bf906fd424a57e [diff]

perf: inline `lean_inc_ref_cold`

The body is a single instruction

2 files changed

tree: 1647f459abe4f293c0dddaf81eef2b5c4cf2bfd8

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.