GitHub repository: porkboi/ZKLib
Primary language: Lean
Description: Formally Verified SNARKs in Lean