commit: 1f1ac8d992ff3124c3d5381f99e7dd8c45ff6656

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

Tue Oct 06 14:05:07 2026 +0000
committer: Henrik Böving <hargonix@gmail.com>

Tue Oct 06 14:05:07 2026 +0000
tree: 9cfb993f41f83e080a451e665226f0a58d329e0f
parent: 5d3d2d387de7ff5313df0fda5f3353a115c8fe87 [diff]

perf: experimental abseil hashmap

6 files changed

tree: 9cfb993f41f83e080a451e665226f0a58d329e0f

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.