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

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

Problems and Theorems in Analysis Integral Calculus. Functions. Pólya, Szegö

Interactive Theorem Proving and Program Development by Yves Bertot

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

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

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

Interactive Theorem Proving and Program Develop. Bertot, CastAran