summaryrefslogtreecommitdiff
path: root/backends/hol4/testHashmapTheory.sig (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make more proofs about the hashmap protoSon Ho2023-06-041-0/+55
* Update the hashmap proofs and fix some tacticsSon Ho2023-06-041-7/+65
* Start working on divDefLib for diverging definitionsSon Ho2023-06-041-14/+4
* Add a .sig fileSon Ho2023-06-041-0/+202
* Reorganize the HOL4 files and fix some issues with the arithmetic proofsSon Ho2023-06-041-202/+0
* Make progress on the standard library for HOL4Son Ho2023-06-041-0/+202