summaryrefslogtreecommitdiff
path: root/backends/hol4/ilistScript.sml (follow)
Commit message (Expand)AuthorAgeFilesLines
* Add IList.leanSon Ho2023-07-131-0/+3
* Finish the proofs of the hashmapSon Ho2023-06-041-0/+14
* Make progress on the proofs of the hash mapSon Ho2023-06-041-0/+19
* Cleanup a bit the HOL4 backend and implement eval_convSon Ho2023-06-041-3/+1
* Update the hashmap proofs and fix some tacticsSon Ho2023-06-041-0/+8
* Make progress on the standard library for HOL4Son Ho2023-06-041-5/+32
* Make progress on primitivesScriptSon Ho2023-06-041-0/+82