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 Open Science Award for … Open Science Awards for Open Source Research Software. Developed with the involvement of teams from Université Paris-Saclay, the proof assistant Coq ( …Published on: Wed 16/02/2022 - 08:49