The software Coq, a formal proof management system developed by teams at Inria and IRIF was rewarded by the Open Science Awards for Open Source Research Software category Scientific and Technical quality. Learn more about this software: https://coq.inria.fr.