summaryrefslogtreecommitdiff
path: root/backends/hol4/ilistScript.sml (unfollow)
Commit message (Expand)AuthorFilesLines
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