aeneas/static, branch isabelle

aeneas/static, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/static?h=isabelle 2022-04-22T13:00:51Z Update the README 2022-04-22T13:00:51Z Son Ho 2022-04-22T13:00:51Z urn:sha1:762162b8d1ec52cf89daa6973a26ae48ca638636