aeneas/tests/coq/_CoqProject.template, branch isabelle aeneas rust verifier with a hacky Isabelle backend Add a nix derivation for the Coq proofs 2022-11-16T14:45:32+00:00 Son Ho 2022-11-16T14:34:27+00:00 bbdd0da25b974b03d58489d3bbc2654f4f774644