summaryrefslogtreecommitdiff
path: root/tests/hol4/hashmap (unfollow)
Commit message (Expand)AuthorFilesLines
2023-06-04Finish the proofs of the hashmapSon Ho2-463/+1461
2023-06-04Prove hash_map_insert_fwd_back_specSon Ho1-1/+59
2023-06-04Make progress on the proofs of the hash mapSon Ho1-4/+619
2023-06-04Make good progress on the proofs of the hashmap in HOL4Son Ho1-46/+686
2023-06-04Start working on the proofs of the hash mapSon Ho1-0/+543
2023-06-04Add the generated HOL4 filesSon Ho5-0/+1640