Foundational Cryptography Framework for machine-checked proofs of cryptography. - View it on GitHub