aeneas/dune-project, branch isabelle aeneas rust verifier with a hacky Isabelle backend Reorganize a bit the project 2022-10-27T10:58:47+00:00 Son Ho 2022-10-27T07:16:46+00:00 7e7d0d67de8285e1d6c589750191bce4f49aacb3 






Start generating documentation
2022-10-26T17:45:09+00:00

Son Ho

2022-10-26T15:31:24+00:00

e1f79b07440f35e5e6296b61819cf50e6f60f090












Setup the project
2021-11-02T17:51:25+00:00

Son Ho

2021-11-02T17:51:25+00:00

ec39b172441fa3739635e55ea8ebbc170c53f3f2