GitHub repository: mcalancea/ArkLib
Description: Formally Verified Arguments of Knowledge in Lean