Interactive Theorem Proving and Program - Hardcover, by Bertot Yves - Acceptable

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

Interactive Theorem Proving and Program Develop. Bertot, CastAran

Interactive Theorem Proving and Program Development - 9783642058806

Interactive Theorem Proving and Program Development: Coq�Art: The Calculus of I,

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

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

Interactive Theorem Proving and Program Develop. Bertot, CastAran, Huet<|