Proving in the Large

A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing...

Full description

Saved in:
Bibliographic Details
Published inCertified Programming with Dependent Types
Main Author Chlipala, Adam
Format Book Chapter
LanguageEnglish
Published MIT Press 2013
The MIT Press
Subjects
Computer Science
Programming Languages
Online AccessGet full text

Cover

Be the first to leave a comment!
You must be logged in first