Interactive Theorem Proving and Program Development - Bertot, Yves,Castéran, Pie

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

Interactive Theorem Proving and Program Development by Yves Bertot

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

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

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mat

Interactive Theorem Proving - 9783319431437