]>
2007-12-17 | Wilmer Ricciotti | upper bound for logarithmic summation | blob | commitdiff | raw |
2007-12-11 | Andrea Asperti | Partial progress. | blob | commitdiff | raw | diff to current |
2007-12-10 | Andrea Asperti | Main inequalities for e. | blob | commitdiff | raw | diff to current |
2007-12-03 | Andrea Asperti | Some progress. | blob | commitdiff | raw | diff to current |
2007-11-19 | Andrea Asperti | Towards chebyshev. | blob | commitdiff | raw | diff to current |
2007-05-09 | Andrea Asperti | A few extensions for the moebius inversion theorem | blob | commitdiff | raw | diff to current |
2007-03-16 | Andrea Asperti | Extensions required for the moebius function (in Z). | blob | commitdiff | raw | diff to current |
2006-09-27 | Claudio Sacerdoti... | Initial work on setoids: | blob | commitdiff | raw | diff to current |
2006-02-03 | Stefano Zacchiroli | - renamed ocaml/ to components/ | blob | commitdiff | raw | diff to current |