Interactive Theorem Proving - 9783319221014

Interactive Theorem Proving 4th International Conference ITP 2013

Interactive Theorem Proving 7th International Conference ITP 2016

Interactive Theorem Proving 8th International Conference ITP 2017

Theorem

Fermats Last Theorem Simon Singh Folio Society 2011 Hardback Book

Theorem proving with Coq SSReflect MathComp Formalizing Mathematics from Used 1

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