Cover Image

Certified programming with dependent types : a pragmatic introduction to the Coq proof assistant /

Show other versions (1)
Bibliographic Details
Main Author: Chlipala, Adam, 1981-
Format: Book
Language:English
Published: Cambridge, Massachusetts : MIT Press, [2013]
Subjects:
Automatic theorem proving > Computer programs.
Computer programming.
Coq (Electronic resource)
Show all versions (2)