| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-04-30 | renaming in Makefile.ci and ci scripts to avoid inconsistencies | Olivier Laurent | |
| 2019-01-05 | [ci] Add Verdi Raft with dependencies to CI | Karl Palmskog | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |