http://www21.in.tum.de/~boehmes/
This is an unofficial reimagining of the Archive of Formal Proofs
Much Ado About Twoby Sascha Böhme