aeneas/backends/hol4/Holmakefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend Make minor modifications 2023-06-04T19:54:38+00:00 Son Ho 2023-01-23T23:09:33+00:00 a9110a7fe013dc7b6dd35bfd6f56ea1ce3a471b1 






Add a Holmakefile
2023-06-04T19:54:38+00:00

Son Ho

2023-01-23T23:06:37+00:00

8ab6291e717a1ad0fe77dcabca928491134708e3