The Coq Proof Assistant, A Tutorial, Version 5.10

Rapport Année : 1995

(1) , ,

1

Gérard Huet

INRIA Rocquencourt

Gilles Kahn

Christine Paulin-Mohring

Autre [cs.OH]

Fichier principal

RT-0178.pdf (367.7 Ko)

https://inria.hal.science/inria-00069993

Soumis le : vendredi 19 mai 2006-18:46:25

Dernière modification le : mardi 7 février 2023-03:38:17

Archivage à long terme le : dimanche 4 avril 2010-20:10:50

inria-00069993 , version 1 (19-05-2006)

Gérard Huet, Gilles Kahn, Christine Paulin-Mohring. The Coq Proof Assistant, A Tutorial, Version 5.10. RT-0178, INRIA. 1995, pp.46. ⟨inria-00069993⟩

INRIA INRIA-RRRT INRIA2 LARA

55 Consultations

50 Téléchargements