Popular repositories Loading

1. ArkLib ArkLib Public

   Formally Verified Arguments of Knowledge in Lean

   Lean 182 48

2. clean clean Public

   Lean circuit DSL

   Lean 129 16

3. VCV-io VCV-io Public

   Formalized Cryptography Proofs in Lean 4

   Lean 78 19

4. CompPoly CompPoly Public

   A computable model of Polynomials in Lean.

   Lean 35 14

5. 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

6. evm-asm evm-asm Public

   Lean 6 2