commit: 7a5c0c001868ccf06be7427608ca9caa02c2e9ea

[log]
author: Kim Morrison <kim@tqft.net>

Fri Jun 13 13:44:38 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Fri Jun 13 13:44:38 2025 +1000
tree: 5b77ee006a2e0d51dc387b4e7a433fe126283fd8
parent: 140a6335895315faf637f077f0b60c5de3f0bf1c [diff]

chore: convert DHashMap to a structure

2 files changed

tree: 5b77ee006a2e0d51dc387b4e7a433fe126283fd8

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.