Skip to Main content Skip to Navigation
Reports

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 1, 2 Yann Régis-Gianas 1, 2 Matthieu Sozeau 1, 2 Arnaud Spiwack 1 Enrico Tassi 4, 5
1 PI.R2 - Design, study and implementation of languages for proofs and programs
CNRS - Centre National de la Recherche Scientifique, Inria de Paris, UP - Université de Paris, IRIF (UMR_8243) - Institut de Recherche en Informatique Fondamentale
3 MARELLE - Mathematical, Reasoning and Software
CRISAM - Inria Sophia Antipolis - Méditerranée
Complete list of metadatas

https://hal.inria.fr/hal-01114602
Contributor : Matthieu Sozeau <>
Submitted on : Monday, February 9, 2015 - 4:16:31 PM
Last modification on : Tuesday, September 22, 2020 - 3:34:48 AM

Identifiers

  • HAL Id : hal-01114602, version 1

Collections

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⟩

Share

Metrics

Record views

547