Popular repositories Loading

1. clean clean Public

   Forked from Verified-zkEVM/clean

   Lean circuit DSL

   Lean

2. talks talks Public

3. zk-lean zk-lean Public

   Forked from GaloisInc/zkLean

   zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements

   Lean

4. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

5. PoL PoL Public

   Forked from Koukyosyumei/PoL

   Proof of Lean: Formalizing Blockchain Fundamentals in Lean

   Lean