summaryrefslogtreecommitdiff
path: root/backends/hol4/testHashmapScript.sml (unfollow)
Commit message (Expand)AuthorFilesLines
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