aeneas/dune-project, branch isabelle aeneas rust verifier with a hacky Isabelle backend https://stuebinm.eu/git/aeneas/atom/dune-project?h=isabelle 2022-10-27T10:58:47Z Reorganize a bit the project 2022-10-27T10:58:47Z Son Ho 2022-10-27T07:16:46Z urn:sha1:7e7d0d67de8285e1d6c589750191bce4f49aacb3 Start generating documentation 2022-10-26T17:45:09Z Son Ho 2022-10-26T15:31:24Z urn:sha1:e1f79b07440f35e5e6296b61819cf50e6f60f090 Setup the project 2021-11-02T17:51:25Z Son Ho 2021-11-02T17:51:25Z urn:sha1:ec39b172441fa3739635e55ea8ebbc170c53f3f2