GitHub repository: Koukyosyumei/Loda
Primary language: Lean
Created: 2025-05-15T01:47:13Z
Description: Certified ZK Circuit in Lean4