Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Books
Interactive Theorem Proving and Program Development
Coq'Art - the Calculus of Inductive Constructions »
Coq'Art - the Calculus of Inductive Constructions »
Interactive Theorem Proving and Program Development
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introducti... »
Coq is an interactive proof assistant for the development of mathematical theories and formally certified software. This book provides a pragmatic introducti... »
Idea box
