aeneas/tests/coq/misc/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
Make good progress on the Coq backend2022-11-14T13:21:04+00:00Son Ho2022-11-13T22:00:38+00:00fc21cf96f80ccb7e6455c057987bb0ff4597c0bb