summaryrefslogtreecommitdiff
path: root/backends/hol4/primitivesArithTheory.sig (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Finish the proofs of the hashmapSon Ho2023-06-041-0/+35
|
* Make progress on the proofs of the hash mapSon Ho2023-06-041-0/+25
|
* Make good progress on the proofs of the hashmap in HOL4Son Ho2023-06-041-0/+10
|
* 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