http://homepages.inf.ed.ac.uk/da/
This is an unofficial reimagining of the Archive of Formal Proofs
Multi-Party Computationby David Aspinall and David Butler