aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/backends/IsabelleHOL/document?h=isabelle 2024-06-29T20:11:04Z 2024-06-29T20:11:04Z stuebinm 2024-06-29T19:31:22Z urn:sha1:59214186b817329342d9d72e23adf12f7a3b1348 (do not actually use this, most things are broken, and the primitives lib barely exists and is simply incorrect. But it is enough to create syntax-correct Isabelle code for relatively simply rust code, as long as it does not contain any uses of traits)