paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 168284979Copier cet identifiant (PPN)
Notice de type Titre

Point d'accès autorisé

Coq (logiciel)

Notices d'autorité liées

Source

Interactive theorem proving and program development / Y. Bertot, P. Castéran, 2004

The Coq proof assistant - http://coq.inria.fr (2013-07-01)

Autres identifiants

Identifiant BNF : FRBNF166943255

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)

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