commit: 406762f38f31260f7741c3e871950e7d0b23f06c

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

Sat Dec 27 22:26:28 2025 +0000
committer: Henrik Böving <hargonix@gmail.com>

Sat Dec 27 22:49:23 2025 +0000
tree: 665aa6e5e7929f93ca6b44f3f2fa81c34138ab7e
parent: b3b33e85d38317eca940e4a9653660e9f8b5682a [diff]

perf: annotate our allocators as such

src/include/lean/lean.h[diff]

1 file changed

tree: 665aa6e5e7929f93ca6b44f3f2fa81c34138ab7e

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.