Matthew Wampler-Doty
22 May 2010
This is an unofficial reimagining of the Archive of Formal Proofs
Robbins-Conjecture-AFP
@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{http://isa-afp.org/entries/Robbins-Conjecture.html}, Formal proof development}, ISSN = {2150-914x}, }
Older releases: