aeneas/tests/hol4/Holmakefile.template, branch isabelle aeneas rust verifier with a hacky Isabelle backend Make good progress on generating code for HOL4 2023-06-04T19:54:38+00:00 Son Ho 2023-05-16T09:45:43+00:00 df4d60b71bcabf9897656d6d74157a4c7d8d539c