# AComplete Proof of the Robbins Conjecture

 Title: A Complete Proof of the Robbins Conjecture Author: Matthew Wampler-Doty Submission date: 2010-05-22 Abstract: This document gives a formalization of the proof of the Robbins conjecture, following A. Mann, A Complete Proof of the Robbins Conjecture, 2003. BibTeX: @article{Robbins-Conjecture-AFP, author = {Matthew Wampler-Doty}, title = {A Complete Proof of the Robbins Conjecture}, journal = {Archive of Formal Proofs}, month = may, year = 2010, note = {\url{https://isa-afp.org/entries/Robbins-Conjecture.html}, Formal proof development}, ISSN = {2150-914x}, } License: BSD License