GitHub repository: quangvdao/ZKLib
Primary language: Lean
Description: A Library for Formally Verified Cryptographic Proof Systems