Identifiant IdRef : 168284979
Notice de type
Titre
Interactive theorem proving and program development / Y. Bertot, P. Castéran, 2004
The Coq proof assistant - http://coq.inria.fr (2013-07-01)
Identifiant BNF : FRBNF166943255
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)