Talents, Research
Coq wins the Open Science Award for Open Source Research Software
… with the involvement of teams from Université Paris-Saclay, the proof assistant Coq ( http://coq.inria.fr ) was … Several members of the Formal Methods Laboratory (LMF - UPSaclay, ENS Paris-Saclay, CNRS) have been closely connected to its …Published on: Wed 16/02/2022 - 08:49