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 … language for writing mathematical definitions that can also describe data structures and algorithms. It provides an …Published on: