| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-05-28 | 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-17 | ZModulo: Z viewed modulo 2^digits implements CyclicAxioms | letouzey |
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |