Old Web
English
Sign In
Acemap
>
Paper
>
Coq 8.4 Reference Manual
Coq 8.4 Reference Manual
2014
Pierre Boutillier
Stéphane Glondu
Benjamin Grégoire
Hugo Herbelin
Pierre Letouzey
Pierre-Marie Pédrot
Yann Régis-Gianas
Matthieu Sozeau
Arnaud Spiwack
Enrico Tassi
Keywords:
Programming language
Computer science
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
2
Citations
NaN
KQI
[]