inria-00069994, version 1

The Coq Proof Assistant, Reference Manual, Version 5.10

Cristina Cornes ¹, Judicaël Courant, Jean-Christophe Filliâtre (), Gérard Huet, Pascal Manoury, César Munoz, Chetan Murthy, Catherine Parent, Christine Paulin-Mohring, Amokrane Saibi, Benjamin Werner ()

N° RT-0177 (1995)

• 1 :  COQ (INRIA Rocquencourt)
• INRIA

• Domaine : Informatique/Autre
• Référence interne : RT-0177
• Commentaire : Projet COQ

• inria-00069994, version 1
• http://hal.inria.fr/inria-00069994
• oai:hal.inria.fr:inria-00069994
• Contributeur : Rapport De Recherche Inria <>
• Soumis le : Vendredi 19 Mai 2006, 18:46:35
• Dernière modification le : Jeudi 15 Avril 2010, 16:51:54