aeneas - aeneas rust verifier with a hacky Isabelle backend

	Commit message (Collapse)	Author	Files	Lines
2024-06-29	had some fun writing an IsabelleHOL backend	stuebinm	1	-0/+6
	(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)