http://research.microsoft.com/people/mattpark/
This is an unofficial reimagining of the Archive of Formal Proofs
Lightweight Javaby Rok StrniĊĦa and Matthew Parkinson