aeneas/tests/coq/traits/Makefile, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/tests/coq/traits/Makefile?h=isabelle 2023-10-27T13:16:44Z Add some files for the Coq trait tests 2023-10-27T13:16:44Z Son Ho 2023-10-27T13:16:44Z urn:sha1:c200d43abf96c6f3126d1de40e7e4c547e4e7371