| Age | Commit message (Expand) | Author |
|---|---|---|
| 2009-03-04 | Backtrack sur la mémoïsation de nf_evar. | aspiwack |
| 2009-02-27 | =?utf-8?q?Tentative=20d'optimisation=20(en=20temps)=20sur=20[nf=5Fevar]=20et=... | aspiwack |
| 2009-02-19 | On remplace evar_map par evar_defs (seul evar_defs est désormais exporté | aspiwack |
| 2009-01-17 | DISCLAIMER | puech |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |