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
Theorem Proving In Higher Order Logics
12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings »
12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings »
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... »
