paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 168284979Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/168284979/idCopier cet URI
Notice de type Titre

Point d'accès autorisé

Coq (logiciel)

Variante de point d'accès

Rocq (logiciel)
[Titre uniforme]

Information


Terme générique

  Assistants de preuve

Source

Interactive theorem proving and program development / Y. Bertot, P. Castéran, 2004
The Coq proof assistant - http://coq.inria.fr (2013-07-01)
https://en.wikipedia.org/wiki/Rocq, 2026-03-26

Information trouvée : Le renommage du logiciel est devenu officiel avec la sortie de la version Rocq 9.0 en mars 2025.

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/303880136
Identifiant ARK BNF : https://catalogue.bnf.fr/ark:/12148/cb166943251

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

Terme équivalent dans un autre système : Coq (Electronic resource)

Informations sur la notice

Identifiant de la notice : 168284979
RCR créateur de la notice : 335222101
Date de création : 25-03-2013
RCR dernier modificateur de la notice : 335222101
Date de dernière modification : 29-03-2026 à 11 h 07

... Références liées : ...