| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-12-09 | [ci] function to declare projects | Enrico Tassi | |
| incidentally the "projects" array can be queried to get the list of projects | |||
| 2020-11-27 | [RM] script to notify "platform" projects to tag | Enrico Tassi | |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |