commit: ec1c6237c9e2750a20ff7a6eeed20164ba3e1afb

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

Wed Jun 17 08:59:46 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Wed Jun 17 08:59:46 2026 +0000
tree: a988ad31a6814bc749bbaeee457cf7bd4903b7b8
parent: edcba5f29cae54951e5554225f1eb1c9ad63b440 [diff]

one less alloc

2 files changed

tree: a988ad31a6814bc749bbaeee457cf7bd4903b7b8

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.