Computer certified efficient exact reals in Coq
September 9, 2011, Bergen, Norway.
- The Coq Workshop.
August 26, 2011, Nijmegen, the Netherlands.
- Conference on Intelligent Computer Mathematics.
July 23, 2011, Bertinoro, Italy.
- Brouwer seminar.
March 22, 2011, Radboud University, Nijmegen, the Netherlands.
- Workshop on reification and generic tactics.
March 31, 2011, INRIA, Paris, France.
Our Coq and Haskell sources can be obtained from our GitHub repository.