Coq 8.4 Reference Manual - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Research Report) Year : 2014

Coq 8.4 Reference Manual

Pierre Boutillier
Design, study and implementation of languages for proofs and programs
Preuves, Programmes et Systèmes
Stephane Glondu
Design, study and implementation of languages for proofs and programs
Preuves, Programmes et Systèmes
Benjamin Grégoire
Mathematical, Reasoning and Software
Hugo Herbelin
  • Function : Author
  • PersonId : 833422
Design, study and implementation of languages for proofs and programs
Preuves, Programmes et Systèmes
Pierre Letouzey
Design, study and implementation of languages for proofs and programs
Preuves, Programmes et Systèmes
Pierre-Marie Pédrot
Design, study and implementation of languages for proofs and programs
Preuves, Programmes et Systèmes
Yann Régis-Gianas
  • Function : Author
  • PersonId : 880586
Design, study and implementation of languages for proofs and programs
Preuves, Programmes et Systèmes
Matthieu Sozeau
Design, study and implementation of languages for proofs and programs
Preuves, Programmes et Systèmes
Arnaud Spiwack
Design, study and implementation of languages for proofs and programs
Enrico Tassi
Symbolic Special Functions : Fast and Certified
Microsoft Research - Inria Joint Centre
CV

Domains

Programming Languages [cs.PL] Mathematical Software [cs.MS] Logic in Computer Science [cs.LO]

Matthieu Sozeau  : Connect in order to contact the contributor

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

Submitted on : Monday, February 9, 2015-4:16:31 PM

Last modification on : Thursday, November 21, 2024-3:12:02 PM

No file

Dates and versions

hal-01114602 , version 1 (09-02-2015)

Identifiers

  • HAL Id : hal-01114602 , version 1

Cite

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

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS INRIA INRIA2 LARA UP-SCIENCES IRIF
397 View
0 Download

Share

More