aeneas/tests/coq/betree/Makefile, branch isabelleaeneas rust verifier with a hacky Isabelle backend
Automatically generate the Makefile and _CoqProject files in the tests subdirectories2022-11-16T14:45:32+00:00Son Ho2022-11-16T13:40:34+00:00a20819f170acc6aad7b5aca2fbe53c7b3ab7e2b8
Extract the Polonius examples in Coq2022-11-14T13:21:04+00:00Son Ho2022-11-14T13:14:38+00:006f714017d71a512042b22d7d0e987f75b47a088f