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 … with the involvement of teams from Université Paris-Saclay, the proof assistant Coq (http://coq.inria.fr) was …
Published on: