Skip to Main content
Number of documents

1

Curriculum Vitae - Olivier Pons


Yves Bertot   

Reports1 document

  • Yves Bertot, Olivier Pons, Loïc Pottier. Graphes de dépendance pour les démonstrateurs de théorèmes intéractifs. RR-4052, INRIA. 2000. ⟨inria-00072585⟩