Popular repositories Loading

1. ArkLib ArkLib Public

   Formally Verified Arguments of Knowledge in Lean

   Lean 300 78

2. clean clean Public

   Lean circuit DSL

   Lean 148 22

3. VCV-io VCV-io Public

   Formalized Cryptography Proofs in Lean 4

   Lean 116 38

4. CompPoly CompPoly Public

   Computable Polynomials in Lean.

   Lean 46 26

5. evm-asm evm-asm Public

   Lean 36 8

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 4