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