This is an unofficial reimagining of the Archive of Formal Proofs
Taylor Modelsby Christoph Traut and Fabian Immler