Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Quelques bugs avec inject_nat | herbelin | 2002-04-17 |
* | Test affichage O de nat dans une expression sur Z | herbelin | 2002-01-25 |
* | Test syntaxe des entiers relatifs | herbelin | 2001-10-17 |
index : coq | ||
the Coq proof assistant |
aboutsummaryrefslogtreecommitdiffhomepage |
Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Quelques bugs avec inject_nat | herbelin | 2002-04-17 |
* | Test affichage O de nat dans une expression sur Z | herbelin | 2002-01-25 |
* | Test syntaxe des entiers relatifs | herbelin | 2001-10-17 |