Popular repositories Loading

1. ArkLib ArkLib Public

   Formally Verified Arguments of Knowledge in Lean

   Lean 114 25

2. clean clean Public

   Lean circuit DSL

   Lean 100 8

3. VCV-io VCV-io Public

   Formalized Cryptography Proofs in Lean 4

   Lean 46 5

4. iris-lean iris-lean Public

   Forked from leanprover-community/iris-lean

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

   TeX 5

5. verified-zkevm.org verified-zkevm.org Public

   HTML

6. Overview Overview Public

   Project overview with links to relevant repositories