Interactive Theorem Proving and Program Developm... by Castéran, Pierre Hardback

Interactive Theorem Proving: - Paperback, by Beringer Lennart Felty - Very Good

Interactive Theorem Proving and Program Development: CoqArt: The Calculus of...

Interactive Theorem Proving and Program Develop. Bertot, CastAran

Symbolic Logic and Mechanical Theorem Proving (Computer Science Classics) by Ch

Interactive Theorem Proving - 9783319431437

Interactive Theorem Proving in Software Engineering, Paperback by Kammuller, ...

Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of In