| Age | Commit message (Expand) | Author |
|---|---|---|
| 2010-02-08 | DoubleCyclic + NMake : typeclasses, more genericity, less ML macro-generation | letouzey |
| 2010-01-19 | Ring31 : a ring structure and tactic for int31 | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |