http://www.kestrel.edu/~coglio
This is an unofficial reimagining of the Archive of Formal Proofs
Pop-Refinementby Alessandro Coglio