Talents, Recherche
Coq, lauréat du Prix « science ouverte du logiciel libre de la recherche »
… Formelles (LMF-Univ Paris-Saclay, ENS Paris-Saclay, CNRS) sont étroitement liés à cette histoire. Bruno Barras (Inria), Jean-Christophe Filliâtre (CNRS) et Christine Paulin (Univ. Paris-Saclay, Faculté des … Formelles (LMF-Univ Paris-Saclay, ENS Paris-Saclay, CNRS) sont étroitement liés à cette histoire. Bruno Barras …Published on: