http://www.mit.edu/~kkz/
This is an unofficial reimagining of the Archive of Formal Proofs
File Refinementby Karen Zee and Viktor Kuncak