Number of documents

2

Paul Zimmermann


Paul Zimmermann


Yves Bertot   

Journal articles1 document

Reports1 document

  • Yves Bertot, Nicolas Magaud, Paul Zimmermann. A proof of GMP square root using the Coq assistant. [Research Report] RR-4475, INRIA. 2002. ⟨inria-00072113⟩