This is an unofficial reimagining of the Archive of Formal Proofs
SHA1, RSA, PSS and moreby Christina Lindenberg and Kai Wirt