Interactive Theorem Proving - 9783319431437

Blanchette - Interactive Theorem Proving 7th International Conferenc - X555z

Interactive Theorem Proving 4th International Conference ITP 2013

Lectures on Diophantine Approximations Part 1: g-adic numbers and Roth`s theorem

Dimensional Analysis Beyond the Pi Theorem by Bahman Zohuri (2016, Hardcover)

Theorem proving with Coq SSReflect MathComp Formalizing Mathematics from Used 1

Interactive Theorem Proving 8th International Conference ITP 2017

Interactive Theorem Proving 6th International Conference ITP 2015