GitHub repository: GaloisInc/zk-lean
Primary language: Lean
Created: 2024-12-18T16:19:23Z
Description: zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements