| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2020-06-09 | CReal: changed epsilon for modulus of convergence from 1/n to 2^z | Michael Soegtrop | |
| 2020-04-30 | Replace QSeqEquiv by QCauchySeq, simplify proofs. | Vincent Semeria | |
| Force Cauchy modulus equal to identity, make division transparent Fix test | |||
| 2020-04-26 | constructive square root | Vincent Semeria | |
| Convert into a performance test Put time bound at the beginning of file Add Time command in the test | |||
 |
index : coq | |
| The formal proof system |
| aboutsummaryrefslogtreecommitdiff |