| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-05-20 | Adapt the documentation to the move from Gitter to Zulip. | Théo Zimmermann | |
| 2019-05-24 | Add SUPPORT.md file. | Théo Zimmermann | |
| A link to this file will be displayed when people start opening an issue, and maybe in some other places. See also: https://help.github.com/en/articles/adding-support-resources-to-your-project | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |