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

Interactive Theorem Proving and Program Develop. Bertot, CastAran

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

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

Symbolic Logic and Mechanical Theorem Proving - 9780121703509

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

Interactive Theorem Proving - 9783319431437

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