ThomasinEcosystèmes des langages de programmationCoq : un ovni fiableCoq est un assistant de preuve français développé entre autres par l’INRIA depuis 1984.Jun 7, 2017Jun 7, 2017