Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Saïbi, Amokrane"'
Autor:
Saibi, Amokrane
Outils Génériques de Modélisation et de Démonstration pour la Formalisation des Mathématiques en Théorie des Types. Application à la Théorie des Catégories.
Autor:
Barras, Bruno, Boutin, Samuel, Cornes, Cristina, Courant, Judicaël, Filliâtre, Jean-Christophe, Giménez, Eduardo, Herbelin, Hugo, Huet, Gérard, Muñoz, César, Murthy, Chetan, Parent, Catherine, Paulin-Mohring, Christine, Saïbi, Amokrane, Werner, Benjamin
Publikováno v:
[Research Report] RT-0203, INRIA. 1997, pp.214
Projet COQ; Coq is a proof assistant based on a higher-order logic allowing powerful definitions of functions. Coq V6.1 is available by anonymous ftp at ftp.inria.fr:/INRIA/Projects/coq/V6.1 and ftp.ens-lyon.fr:/pub/LIP/COQ/V6.1
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ecf7fa50804c06ea1f61a3e0a318729
https://inria.hal.science/inria-00069968/file/RT-0203.pdf
https://inria.hal.science/inria-00069968/file/RT-0203.pdf
Autor:
Huet, Gérard, Saïbi, Amokrane
Publikováno v:
Proof, Language & Interaction; 2000, p239-275, 37p
Autor:
Saïbi, Amokrane
Publikováno v:
Proceedings of the 24th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; Jan1997, p292-301, 10p