| Age | Commit message (Expand) | Author |
|---|---|---|
| 2017-08-03 | Amend wording to capture intended meaning | Sam Pablo Kuper |
| 2017-08-01 | Fix typos. Improve wording. | Sam Pablo Kuper |
| 2017-06-02 | Move README.ci to markdown | Théo Zimmermann |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |
path: root/README.ci.md