| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | [Sphinx] Add chapter 15 |  Laurent Théry | 2018-04-10 |
| | | | | | Thanks to Laurent Théry for porting this chapter. | ||
| * | [Sphinx] Move chapter 15 to new infrastructure |  Maxime Dénès | 2018-04-10 |
| | | |||
| * | [Sphinx] Add chapter 16 | Maxime Dénès | 2018-03-15 |
| | | | | | Thanks to Paul Steckler for porting this chapter. | ||
| * | [Sphinx] Move chapter 16 to new infrastructure | Maxime Dénès | 2018-03-15 |
| | | |||
| * | [Sphinx] Add chapter 14 | Maxime Dénès | 2018-03-15 |
| | | | | | Thanks to Paul Steckler for porting this chapter. | ||
| * | [Sphinx] Move chapter 14 to new infrastructure | Maxime Dénès | 2018-03-15 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |