summaryrefslogtreecommitdiff
path: root/tests/lean/Hashmap.lean (follow)
Commit message (Collapse)AuthorAgeFilesLines
* With @sonmarcho, some Lean proofs for hashmaps + comments about possible ↵Aymeric Fromherz2023-07-171-0/+1
| | | | improvements
* Reorganize the Lean testsSon Ho2023-07-041-0/+1