Reports
Year : 1995
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00069993
Submitted on : Friday, May 19, 2006-6:46:25 PM
Last modification on : Tuesday, February 7, 2023-3:38:17 AM
Long-term archiving on: Sunday, April 4, 2010-8:10:50 PM
Dates and versions
Identifiers
- HAL Id : inria-00069993 , version 1
Cite
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⟩
Collections
70
View
17063
Download