| Age | Commit message (Expand) | Author |
|---|---|---|
| 2008-06-01 | Intropattern: syntax {x,y,z,t} becomes (x & y & z & t), as decided in | letouzey |
| 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 |