Talents, Research
Coq wins the Open Science Award for Open Source Research Software
… for Open Source Research Software On 5 February 2022, the French Ministry for Higher Education, Research and … connected to its development. Bruno Barras (Inria – the French National Institute for Research in Digital Science and Technology), Jean-Christophe Filliâtre (CNRS - French National Centre for Scientific Research) and …Published on: Wed 16/02/2022 - 08:49