| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-12-13 | [fmt] [dune] Add ocamlformat configuration. | Emilio Jesus Gallego Arias |
| 2019-06-27 | Fix dev/doc/README.md by removing redundant, outdated info. | Théo Zimmermann |
| 2018-11-21 | [camlp5] Remove dependency on camlp5. | Emilio Jesus Gallego Arias |
| 2018-07-11 | [ci] Upgrade edge OCaml to 4.07.0 and Dune to 1.0.0 | Emilio Jesus Gallego Arias |
| 2018-07-02 | Clean up documentation around beginner's guide. | Siddharth Bhat |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |