| Age | Commit message (Expand) | Author |
|---|---|---|
| 2001-03-12 | Commentaires. Verification des assert false. Probleme des types ML arity. | letouzey |
| 2001-03-07 | distinction contexte et signature | filliatr |
| 2001-02-26 | ajout Vprop, Tprop et Eprop | filliatr |
| 2001-02-22 | extraction des types et des inductifs | filliatr |
| 2001-02-21 | nouveau design ou le renommage sera fait a posteriori | filliatr |
| 2001-02-20 | mise en place fichiers extraction | filliatr |
| 2001-02-06 | mise en place extraction | filliatr |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |