Popular repositories Loading

1. ArkLib ArkLib Public

   Formally Verified Arguments of Knowledge in Lean

   Lean 285 66

2. clean clean Public

   Lean circuit DSL

   Lean 142 19

3. VCV-io VCV-io Public

   Formalized Cryptography Proofs in Lean 4

   Lean 111 32

4. CompPoly CompPoly Public

   Computable Polynomials in Lean.

   Lean 42 20

5. evm-asm evm-asm Public

   Lean 28 6

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 13 3