, INRIA, Apics Team, France

• Journal of Formalized Reasoning Vol. 3 No. 1 (2010) - Articles
  Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets
  Abstract  PDF