The Coq proof assistant : reference manual, version 6.1
Work
Year: 1997
Type: article
Authors Bruno Barras, Samuel Boutin, Cristina Cornes, Judicaël Courant, Jean-Christophe Filliâtre +9 more
Cites:
Cited by: 985
Related to: 20
FWCI: 41.8
Citation percentile (by year/subfield): 99.98
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed