Theorem Proving with Analytic Tableaux and Related Methods: 4th International

Interactive Theorem Proving 7th International Conference ITP 2016

Interactive Theorem Proving 8th International Conference ITP 2017

Interactive Theorem Proving 6th International Conference ITP 2015

Theorem

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

Theorem proving with Coq SSReflect MathComp Formalizing Mathematics from Used 1

Hiden Budo and Bujutsu The Final Theorem of Ground Techniques Oda Tsunetane