The Coq proof assistant is the recipient of the 2013 software award

Désolé, cet article est seulement disponible en Anglais Américain.