| Age | Commit message (Expand) | Author |
|---|---|---|
| 2000-12-06 | Prise en compte `?' dans les `` `` | herbelin |
| 2000-12-05 | Reparation d'un bug de pretty-print | delahaye |
| 2000-11-23 | Ajout d'une syntaxe pour Reals. | mayero |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |