Popular repositories Loading

1. ArkLib ArkLib Public

   Formally Verified Arguments of Knowledge in Lean

   Lean 312 86

2. clean clean Public

   Lean circuit DSL

   Lean 166 23

3. VCVio VCVio Public

   A Lean library for machine-checked cryptographic proofs.

   Lean 122 44

4. evm-asm evm-asm Public

   Lean 47 10

5. CompPoly CompPoly Public

   Computable Polynomials in Lean.

   Lean 46 36

6. iris-lean iris-lean Public

   Forked from leanprover-community/iris-lean

   Lean 4 port of Iris, a higher-order concurrent separation logic framework

   TeX 14 4