| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into aspi... |  Hugo Herbelin | 2016-03-09 |
| * | Prehistory of Coq: move the bibliographic references to a dedicated section. |  Arnaud Spiwack | 2015-11-11 |
| * | Prehistory of Coq: justification of the plain text. | Arnaud Spiwack | 2015-11-11 |
| * | Prehistory of Coq: consistency. | Arnaud Spiwack | 2015-11-11 |
| * | Prehistory of Coq: various corrections on English. | Arnaud Spiwack | 2015-11-11 |
| * | Prehistory of Coq: asciidoc conversion. | Arnaud Spiwack | 2015-11-11 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |