| 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 |
| Přispěvatelé: |
Formal Specifications and Program Validation (COQ), Inria Paris-Rocquencourt, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), INRIA |
| Jazyk: |
angličtina |
| Rok vydání: |
1997 |
| Předmět: |
|
| Zdroj: |
[Research Report] RT-0203, INRIA. 1997, pp.214 |
| Popis: |
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 |
| Databáze: |
OpenAIRE |
| Externí odkaz: |
|
