| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2018-12-11 | [ci] Clean overlay folder. | Emilio Jesus Gallego Arias | |
| 2018-11-21 | [legacy proof engine] Remove some cruft. | Emilio Jesus Gallego Arias | |
| We remove the `Proof_types` file which was a trivial stub, we also cleanup a few layers of aliases. This is not a lot but every little step helps. | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |