This is an unofficial reimagining of the Archive of Formal Proofs
A Complete Proof of the Robbins Conjectureby Matthew Wampler-Doty