Talents, Research
Coq wins the Open Science Award for Open Source Research Software
… Award for Open Source Research Software On 5 February 2022, the French Ministry for Higher Education, Research and … Award for Open Source Research Software On 5 February 2022, the French Ministry for Higher Education, Research and … On 5 February 2022, the French Ministry for Higher Education, Research and …
Published on: