Organisation /Organization : | Inria | |
Centre de recherche / Research Unit: | Sophia-Antipolis Méditerranée | |
Équipe Projet / Project Team : | MARELLE | |
Téléphone / Phone : | (+ 33) 04 92 38 78 17 | |
Fax / Fax : | (+ 33) 04 92 38 50 60 | |
Adresse électronique / Email : | Jose.Grimm@inria.fr |
Chercheur Inria.
Transparents /
Slides
Des transparents sur SSH
Autour des PBs de PB
Implémentation de Bourbaki en Coq
Bibliography (pdf file)
My publications on HAL