aeneas/backends/hol4/Holmakefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/backends/hol4/Holmakefile?h=isabelle 2023-06-04T19:54:38Z Make minor modifications 2023-06-04T19:54:38Z Son Ho 2023-01-23T23:09:33Z urn:sha1:a9110a7fe013dc7b6dd35bfd6f56ea1ce3a471b1 Add a Holmakefile 2023-06-04T19:54:38Z Son Ho 2023-01-23T23:06:37Z urn:sha1:8ab6291e717a1ad0fe77dcabca928491134708e3