aeneas/tests/coq/Makefile.template, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/coq/Makefile.template?h=isabelle 2022-11-14T13:21:04Z Add a `-use-fuel` option 2022-11-14T13:21:04Z Son Ho 2022-11-14T13:05:26Z urn:sha1:e5bd97f4ad08b277057a23094f2cc76abbeeaddb