aeneas/tests/hol4/misc-external/Holmakefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend Rename some subdirectories for consistency 2024-05-24T15:03:28+00:00 Nadrieril 2024-05-24T15:01:16+00:00 3adbe18d36df3767e98f30b760ccd9c6ace640ad 






Add the generated HOL4 files
2023-06-04T19:54:38+00:00

Son Ho

2023-05-23T12:47:26+00:00

df03890491fc9c549376d26262b0be3707c00f59