Lawrence C. Paulson profile picture

Lawrence C. Paulson

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Isabelle A Generic Theorem Prover
Logic and Computation
Isabelle A Generic Theorem Prover : with Contributions by Tobias Nipkow
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Logic and Computation Interactive Proof with Cambridge LCF
Logic and Computation Interactive Proof with Cambridge LCF
Interactive Theorem Proving First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings