| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | MAJ JMeq sur Type + typos (sur propositions de Pierre Castéran) |  herbelin | 2006-08-24 |
| * | MAJ Rectutorial (P. Castéran) |  notin | 2006-08-16 |
| * | Ajout Tutorial on recursive types | herbelin | 2006-03-10 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |