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

6. formal-verification-for-web3 formal-verification-for-web3 Public

   Formal Verification for Web3 — Lean 4 workshop code (OTP, RSA, Diffie-Hellman)

   Lean