aeneas/tests/coq/demo/_CoqProject, branch isabelle
aeneas rust verifier with a hacky Isabelle backend
https://stuebinm.eu/git/aeneas/atom/tests/coq/demo/_CoqProject?h=isabelle
2024-05-31T12:25:23Z
Regenerate tests
2024-05-31T12:25:23Z
Aymeric Fromherz
2024-05-31T12:25:23Z
urn:sha1:2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9
Add some missing files
2024-02-09T14:35:49Z
Son Ho
2024-02-09T14:35:49Z
urn:sha1:55114eb8c8cfeeca5d5d5da682cdfe201b1d8dfe