, INRIA, Marelle Team, France

• Journal of Formalized Reasoning Vol. 9 No. 2 (2016) - Articles
  Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers
  Abstract  PDF