Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Small cleanup | 2007-07-13 | |
* | Mise en forme des theories | 2006-10-17 | |
* | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | 2006-09-26 | |
* | ajout de QArith dans les theories standards | 2006-05-31 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Small cleanup | 2007-07-13 | |
* | Mise en forme des theories | 2006-10-17 | |
* | mise a jour du nouveau ring et ajout du nouveau field, avant renommages | 2006-09-26 | |
* | ajout de QArith dans les theories standards | 2006-05-31 |