Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Rendus obsolètes par le LetIn | 2000-09-14 | |
* | Correction pour make doc | 2000-09-10 | |
* | Ajout d'un LetIn primitif. | 2000-09-10 | |
* | Nettoyage de Generic | 2000-05-31 | |
* | - abstraction | 1999-08-26 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Rendus obsolètes par le LetIn | 2000-09-14 | |
* | Correction pour make doc | 2000-09-10 | |
* | Ajout d'un LetIn primitif. | 2000-09-10 | |
* | Nettoyage de Generic | 2000-05-31 | |
* | - abstraction | 1999-08-26 |