Interactive Theorem Proving - 9783319431437

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

Interactive Theorem Proving - 9783319221014

Interactive Theorem Proving - 9783642323461

Interactive Theorem Proving - 9783642228629

Interactive Theorem Proving - 9783319089690

Interactive Theorem Proving 8th International Conference ITP 2017

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Par