Commit message (Expand) | Author | Age | |
---|---|---|---|
* | tests Refine | 2000-07-20 | |
* | renommage (nom de module invalide) | 1999-12-12 | |
* | fichiers de bench | 1999-12-05 | |
* | fichier de test d'inductifs pour minicoq | 1999-09-08 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | tests Refine | 2000-07-20 | |
* | renommage (nom de module invalide) | 1999-12-12 | |
* | fichiers de bench | 1999-12-05 | |
* | fichier de test d'inductifs pour minicoq | 1999-09-08 |