Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Parseur pour n>20 dans nat plus disponible | 2002-10-16 | |
* | Quelques bugs avec inject_nat | 2002-04-17 | |
* | Test affichage O de nat dans une expression sur Z | 2002-01-25 | |
* | Test syntaxe des entiers relatifs | 2001-10-17 |
![]() |
index : coq | |
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Parseur pour n>20 dans nat plus disponible | 2002-10-16 | |
* | Quelques bugs avec inject_nat | 2002-04-17 | |
* | Test affichage O de nat dans une expression sur Z | 2002-01-25 | |
* | Test syntaxe des entiers relatifs | 2001-10-17 |