This is an unofficial reimagining of the Archive of Formal Proofs
The Theorem of Three Circlesby Fox Thomson and Wenda Li