Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and HOL -- Lifted-FL: A Pragmatic Implementation of Combined Model Checking and Theorem Proving...”
Cover Image
Read Now

2
by Bertot, Yves, Castéran, Pierre
Published 2004
Springer Berlin Heidelberg
“... of type theory. This book provides a pragmatic introduction to the development of proofs and certified...”