Skip to content

@ZKForAll ZKForAll

Change the repository type filter

All

    Repositories list

    6 repositories

    • formal-verification-for-web3

      Public
      Formal Verification for Web3 — Lean 4 workshop code (OTP, RSA, Diffie-Hellman)
      Lean
      •
      MIT License
      •0•0•0•0•Updated Mar 18, 2026Mar 18, 2026

    • mathlib4

      Public
      The math library of Lean 4
      Lean
      •
      Apache License 2.0
      •1.3k•0•0•0•Updated Feb 27, 2026Feb 27, 2026

    • PoL

      Public
      Proof of Lean: Formalizing Blockchain Fundamentals in Lean
      Lean
      •
      Apache License 2.0
      •1•0•0•0•Updated Feb 9, 2026Feb 9, 2026

    • zk-lean

      Public
      zkLean is a domain specific language (DSL) in Lean for specifying zero-knowledge statements
      Lean
      •
      BSD 3-Clause "New" or "Revised" License
      •8•0•0•0•Updated Jan 19, 2026Jan 19, 2026

    • talks

      Public
      0•0•0•0•Updated Dec 14, 2025Dec 14, 2025

    • clean

      Public
      Lean circuit DSL
      Lean
      •
      MIT License
      •18•0•0•1•Updated Oct 10, 2025Oct 10, 2025
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.