aeneas/tests/coq/traits/_CoqProject, branch isabelle
aeneas rust verifier with a hacky Isabelle backend
Regenerate tests
2024-05-31T12:25:23+00:00
Aymeric Fromherz
2024-05-31T12:25:23+00:00
2e3d1cdfde3e19af97e0d0fa47f92cfd66c688d9
Regenerate the Coq test files
2023-11-09T15:24:07+00:00
Son Ho
2023-11-09T15:24:07+00:00
49ffc966cfdbd71f8c83a3c72ab81e1bb101f420
Add some files for the Coq trait tests
2023-10-27T13:16:44+00:00
Son Ho
2023-10-27T13:16:44+00:00
c200d43abf96c6f3126d1de40e7e4c547e4e7371