This is an unofficial reimagining of the Archive of Formal Proofs
van Emde Boas Treesby Thomas Ammer and Peter Lammich