| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-11-26 | [ci] separate oddorder and fourcolor from mathcomp | Enrico Tassi | |
| In this way interval does not have to wait too much | |||
| 2020-09-11 | [ci] [mathcomp] run the test suite | Enrico Tassi | |
| 2020-04-30 | renaming in Makefile.ci and ci scripts to avoid inconsistencies | Olivier Laurent | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |