Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Parenthèses pour les tactiques | 2000-10-06 | ||
* | Séparation des caractères spéciaux par un blanc | 2000-07-01 | ||
* | theories/Sets | 2000-06-21 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Parenthèses pour les tactiques | 2000-10-06 | ||
* | Séparation des caractères spéciaux par un blanc | 2000-07-01 | ||
* | theories/Sets | 2000-06-21 |