cx f22 3 45 168284979 http://www.idref.fr/168284979 20130325 20260329110706.000 335222101 335222101 Tu5 https://catalogue.bnf.fr/ark:/12148/cb166943251 BNF 20191125 FRBNF166943255 FRBNF16694325 http://viaf.org/viaf/303880136 VIAF VIAF 20240305 20130325afrey50 ba0 0 1 0 AFNOR ba0yba0y Coq logiciel ba0yba0y Le changement de nom du logiciel a eu lieu en 2025. Il est devenu Rocq Prover. 2025-.... b|xxx ba0yba0y Rocq logiciel 168129752 g|xxx ba0yba0y Assistants de preuve 510 Mathématiques Note de regroupement par domaine 621 Physique appliquée Note de regroupement par domaine FR FR-751131015 20130701 FR Abes 20260329 AFNOR The Coq proof assistant - http://coq.inria.fr (2013-07-01) Interactive theorem proving and program development / Y. Bertot, P. Castéran, 2004 https://en.wikipedia.org/wiki/Rocq, 2026-03-26 Le renommage du logiciel est devenu officiel avec la sortie de la version Rocq 9.0 en mars 2025. Coq (Electronic resource) Coq (logiciel) Rocq (logiciel)