Commit message (Expand) | Author | Age | |
---|---|---|---|
* | modif de la syntax: assoc a droite pour Ring | 2001-02-08 | |
* | *** empty log message *** | 2000-12-22 | |
* | Ajout d'une syntaxe pour Reals. | 2000-11-23 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | modif de la syntax: assoc a droite pour Ring | 2001-02-08 | |
* | *** empty log message *** | 2000-12-22 | |
* | Ajout d'une syntaxe pour Reals. | 2000-11-23 |