| Age | Commit message (Expand) | Author |
|---|---|---|
| 2019-02-28 | Move content of README-V1-V5 to Credits chapter. | Théo Zimmermann |
| 2016-03-09 | Merge branch 'render-prehistory' of https://github.com/aspiwack/coq into aspi... | Hugo Herbelin |
| 2015-11-11 | 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 |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |