Coq 8.4 Reference Manual

Pierre Boutillier 1, 2 Stephane Glondu 1, 2 Benjamin Grégoire 3 Hugo Herbelin 1, 2 Pierre Letouzey 1, 2 Pierre-Marie Pédrot 2, 1 Yann Régis-Gianas 2, 1 Matthieu Sozeau 1, 2 Arnaud Spiwack 1 Enrico Tassi 4, 5
1 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
3 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Liste complète des métadonnées

https://hal.inria.fr/hal-01114602
Contributeur : Matthieu Sozeau <>
Soumis le : lundi 9 février 2015 - 16:16:31
Dernière modification le : jeudi 9 février 2017 - 15:47:25

Identifiants

  • HAL Id : hal-01114602, version 1

Collections

INRIA | PPS | LARA | USPC

Citation

Pierre Boutillier, Stephane Glondu, Benjamin Grégoire, Hugo Herbelin, Pierre Letouzey, et al.. Coq 8.4 Reference Manual. [Research Report] Inria. 2014. <hal-01114602>

Partager

Métriques

Consultations de la notice

260