summaryrefslogtreecommitdiff
path: root/tests/hol4/hashmap (follow)
Commit message (Expand)AuthorAgeFilesLines
* Finish the proofs of the hashmapSon Ho2023-06-042-463/+1461
* Prove hash_map_insert_fwd_back_specSon Ho2023-06-041-1/+59
* Make progress on the proofs of the hash mapSon Ho2023-06-041-4/+619
* Make good progress on the proofs of the hashmap in HOL4Son Ho2023-06-041-46/+686
* Start working on the proofs of the hash mapSon Ho2023-06-041-0/+543
* Add the generated HOL4 filesSon Ho2023-06-045-0/+1640