Normal view
MARC view
Coq(Electronic resource) (Topical Term)
Machine generated authority record.
Work cat.: (OSt)1927: Chlipala, Adam 3641, Certified programming with dependent types: a pragmatic introduction to the Coq proof assistant, 2013