aeneas/tests/fstar/traits/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend Make administrative updates in the tests 2023-11-09T17:38:29+00:00 Son Ho 2023-11-09T17:38:29+00:00 eb216298bcc9190fab85434aaf54a3de3fb4d6a4