aeneas/tests/fstar/traits/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/fstar/traits/Makefile?h=isabelle 2023-11-09T17:38:29Z Make administrative updates in the tests 2023-11-09T17:38:29Z Son Ho 2023-11-09T17:38:29Z urn:sha1:eb216298bcc9190fab85434aaf54a3de3fb4d6a4