Talents, Research
Coq wins the Open Science Award for Open Source Research Software
… Methods Laboratory (LMF - UPSaclay, ENS Paris-Saclay, CNRS) have been closely connected to its development. Bruno … Digital Science and Technology), Jean-Christophe Filliâtre (CNRS - French National Centre for Scientific Research) and … Methods Laboratory (LMF - UPSaclay, ENS Paris-Saclay, CNRS) have been closely connected to its development. Bruno …Published on: Wed 16/02/2022 - 08:49