summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesArithTheory.sig (follow)
Commit message (Expand)AuthorAgeFilesLines
* Make more proofs about the hashmap protoSon Ho2023-06-041-0/+5
* Make progress on the standard library for HOL4Son Ho2023-06-041-0/+5
* Make progress on primitivesScriptSon Ho2023-06-041-2/+7
* Use lower case in the names for the HOL4 backendSon Ho2023-06-041-34/+49
* Organize a bit the HOL filesSon Ho2023-06-041-0/+100