| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Une passe sur les réels: |  herbelin | 2008-03-23 |
| * | Nicer proofs. |  roconnor | 2008-01-24 |
| * | remove Fourier Failure warnings. | roconnor | 2008-01-24 |
| * | Prove the decidability of arithmetical statements using the real numbers. | roconnor | 2008-01-24 |
 |
index : coq | |
| the Coq proof assistant |
| aboutsummaryrefslogtreecommitdiffhomepage |