| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | switch theories/Numbers from Set to Type (both the abstract and the bignum pa... |  letouzey | 2008-05-22 |
| * | Coq headers + $ in theories/Numbers files | letouzey | 2008-05-15 |
| * | Integration of theories/Ints into theories/Numbers, part 1: moving files | letouzey | 2008-05-07 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |