summaryrefslogtreecommitdiff
path: root/backends/hol4/testHashmapScript.sml (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Start working on divDefLib for diverging definitionsSon Ho2023-06-041-12/+2
|
* Reorganize the HOL4 files and fix some issues with the arithmetic proofsSon Ho2023-06-041-548/+2
|
* Make progress on the standard library for HOL4Son Ho2023-06-041-0/+679