Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Transparent | barras | 2001-09-20 |
* | Reduction tres significative du terme preuve | delahaye | 2001-06-27 |
* | Ajout des entetes | delahaye | 2001-04-20 |
* | Ajout de Field | delahaye | 2001-04-19 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Transparent | barras | 2001-09-20 |
* | Reduction tres significative du terme preuve | delahaye | 2001-06-27 |
* | Ajout des entetes | delahaye | 2001-04-20 |
* | Ajout de Field | delahaye | 2001-04-19 |