| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Intropattern: syntax {x,y,z,t} becomes (x & y & z & t), as decided in |  letouzey | 2008-06-01 |
| * | Cyclic31: no more Admitted, but I've cheated: sqrt31 and sqrt312 are | letouzey | 2008-05-28 |
| * | CyclicAxioms: after discussion with Laurent, znz_WW and variants are | letouzey | 2008-05-28 |
| * | ZModulo: Z viewed modulo 2^digits implements CyclicAxioms | letouzey | 2008-05-17 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |