This is an unofficial reimagining of the Archive of Formal Proofs
Game-based cryptography in HOLby Andreas Lochbihler, S. Reza Sefidgar and Bhargav Bhatt