Talents, Research
Coq wins the Open Science Award for Open Source Research Software
… the French Ministry for Higher Education, Research and Innovation presented the winners of the Open Science Awards … Collaborative development Development for Coq began in 1984 and has continued to involve the participation of … teams and institutions. Several members of the Formal Methods Laboratory (LMF - UPSaclay, ENS Paris-Saclay, CNRS) …Published on: