summaryrefslogtreecommitdiff
path: root/tests/hol4/hashmap/hashmap_PropertiesScript.sml (unfollow)
Commit message (Expand)AuthorFilesLines
2023-09-07Regenerate the test files and fix a proofSon Ho1-1/+1
2023-06-04Update the HOL4 proofs for the last *release* version of HOL4Son Ho1-4/+6
2023-06-04Start setting up the Nix derivation for HOL4Son Ho1-4/+5
2023-06-04Add a commentSon Ho1-1/+5
2023-06-04Finish the proofs of the hashmapSon Ho1-463/+559
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-45/+172
2023-06-04Make the theorems used by the progress tactic persistentSon Ho1-9/+5
2023-06-04Cleanup a bit the HOL4 backend and implement eval_convSon Ho1-1/+0
2023-06-04Make more proofs about the hashmap protoSon Ho1-0/+138
2023-06-04Update the hashmap proofs and fix some tacticsSon Ho1-18/+178
2023-06-04Start working on divDefLib for diverging definitionsSon Ho1-12/+2
2023-06-04Reorganize the HOL4 files and fix some issues with the arithmetic proofsSon Ho1-548/+2
2023-06-04Make progress on the standard library for HOL4Son Ho1-0/+679