Traductions de preuves en langage naturel pour le systeme Coq, Rapport de Stage, Ecole Polytechnique (1994)

by Y Coscoy