deutsch
english
Publikationsansicht
42832090
The Coq Proof Assistant Reference Manual (1998)
Jean-christophe Filliatre
,
Hugo Herbelin
,
Bruno Barras
,
Bruno Barras
,
Samuel Boutin
,
Samuel Boutin
,
Cristina Cornes
,
Cristina Cornes
,
Judicael Courant
,
Judicael Courant
,
Chetan Murthy
,
Chetan Murthy
,
Catherine Parent
,
Catherine Parent
,
Christine Paulin-mohring
,
Christine Paulin-mohring
,
Amokrane Saibi
,
Amokrane Saibi
,
Benjamin Werner
,
Benjamin Werner
Abstract
apport technique
Details der Publikation
Download
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=?doi=10.1.1.32.2317
Quelle
ftp://ftp.inria.fr/INRIA/publication/publi-ps-gz/RT/RT-0203.ps.gz
Mitarbeiter
CiteSeerX
Archiv
CiteSeerX - Scientific Literature Digital Library and Search Engine (United States)
Keywords
Key-words, Coq, Proof Assistant, Formal Proofs, Calculus of Inductives Constructions
Typ
text
Sprache
Englisch
Verknüpfungen
10.1.1.26.4391, 10.1.1.126.2477, 10.1.1.6.9497, 10.1.1.55.8477, 10.1.1.37.3153, 10.1.1.37.6700, 10.1.1.37.8487, 10.1.1.38.601, 10.1.1.41.6933, 10.1.1.104.3242, 10.1.1.47.6189