summaryrefslogtreecommitdiff
path: root/backends/hol4/ilistTheory.sig (follow)
Commit message (Expand)AuthorAgeFilesLines
* Cleanup a bit the HOL4 backend and implement eval_convSon Ho2023-06-041-2/+0
* Update the hashmap proofs and fix some tacticsSon Ho2023-06-041-0/+5
* Make progress on the standard library for HOL4Son Ho2023-06-041-2/+22
* Make progress on primitivesScriptSon Ho2023-06-041-0/+63