| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Integration of a sphinx-based documentation generator. |  Maxime Dénès | 2018-03-09 |
| The original contribution is from Clément Pit-Claudel. I updated his code and integrated it with the Coq build system. Many improvements by Paul Steckler (MIT). This commit adds the infrastructure but no content. | |||
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |