Talents, Research
Coq wins the Open Science Award for Open Source Research Software
… based on libraries, meaning that a wide range of fields in mathematics and computing can be explored. Some of the major … Scientific Research) and Christine Paulin (UPSaclay, Orsay Faculty of Science) oversaw the development of the versions … Scientific Research) and Christine Paulin (UPSaclay, Orsay Faculty of Science) oversaw the development of the versions …Published on: