Talents, Research
Coq wins the Open Science Award for Open Source Research Software
… Coq wins the Open Science Award for Open Source Research Software Coq wins the … the Open Science Awards for Open Source Research Software. Developed with the involvement of teams from Université Paris-Saclay, the proof assistant Coq ( http://coq.inria.fr ) was …
Published on: