The Coq proof assistant user's guide : version 5.6
Work
Year: 1991
Type: article
Cites:
Cited by: 129
Related to: 20
FWCI: 8.092
Citation percentile (by year/subfield): 93.7
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: closed