This is an unofficial reimagining of the Archive of Formal Proofs
Pseudo Hoopsby George Georgescu, Laurentiu Leustean and Viorel Preoteasa