commit: 921472c67ed8753a62daaee4234a4c0e1a7d53d0

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

Mon May 19 13:24:18 2025 +1000
committer: Kim Morrison <kim@tqft.net>

Mon May 19 13:24:18 2025 +1000
tree: 4c10063d206c0043c3fe59161d893ee006a86ae2
parent: fbac0d2ddb9e6883a41a97bf44f20f753f6b24ce [diff]

initial exploration for a ExtHashMapD

src/Std/Data/ExtHashMapD.lean[Added - diff]

1 file changed

tree: 4c10063d206c0043c3fe59161d893ee006a86ae2

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.