Interactive Theorem Proving - 9783319661063

Ayala-Rincn - Interactive Theorem Proving 8th International Confere - X555z

Theorem

Interactive Theorem Proving 4th International Conference ITP 2013

Interactive Theorem Proving 7th International Conference ITP 2016

Theorem proving with Coq SSReflect MathComp Formalizing Mathematics from Used 1

Interactive Theorem Proving 6th International Conference ITP 2015

Proving History Baye's Theorem and the Quest for the Historical Jesus R Carrier