| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-06-15 | updated ci for unicoq | beta | |
| 2020-02-12 | Split unicoq out of ci-mtac2.sh (keeping 1 CI job) | Gaëtan Gilbert | |
| No reason to have them in the same .sh | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |