aeneas/tests/hol4/misc-paper, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/hol4/misc-paper?h=isabelle 2024-05-24T15:03:28Z Rename some subdirectories for consistency 2024-05-24T15:03:28Z Nadrieril 2024-05-24T15:01:16Z urn:sha1:3adbe18d36df3767e98f30b760ccd9c6ace640ad Improve the generated comments 2023-07-06T10:20:28Z Son Ho 2023-07-06T10:20:28Z urn:sha1:7c95800cefc87fad894f8bf855cfc047e713b3a7 Add the generated HOL4 files 2023-06-04T19:54:38Z Son Ho 2023-05-23T12:47:26Z urn:sha1:df03890491fc9c549376d26262b0be3707c00f59