commit: e3b5292d5349a57181851527baa1e6cd7d4458d5

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

Thu Jul 24 17:50:14 2025 +0200
committer: Henrik Böving <hargonix@gmail.com>

Thu Jul 24 17:50:14 2025 +0200
tree: 780f09bfd6387abd1c439a531a1648770f494e42
parent: 75b5c8b0aa24d27d3dfe4d465a9d45e71f9af71e [diff]

perf: allow phashmap to specialize

2 files changed

tree: 780f09bfd6387abd1c439a531a1648770f494e42

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.