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

Coq 8.4 Reference Manual

Benjamin Grégoire
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⟩
349 View
0 Download

Share

Gmail Facebook X LinkedIn More