GitHub repository: oxarbitrage/cryptolib
Primary language: Lean
Description: Crypto systems formalization and security proofs