Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Typo | 2003-06-10 | |
* | Adding tests for the "functional induction" facility. | 2003-02-27 | |
* | The contribution of Pierre Courtieu on generating specialized induction schemes | 2003-02-27 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Typo | 2003-06-10 | |
* | Adding tests for the "functional induction" facility. | 2003-02-27 | |
* | The contribution of Pierre Courtieu on generating specialized induction schemes | 2003-02-27 |