This is an unofficial reimagining of the Archive of Formal Proofs
Topologyby Stefan Friedrich
Lazy Lists IIby Stefan Friedrich