Popular repositories Loading

1. VCV-io VCV-io Public

   Forked from Verified-zkEVM/VCV-io

   Formalized Cryptography Proofs in Lean 4

   Lean

2. ArkLib ArkLib Public

   Forked from Verified-zkEVM/ArkLib

   Formally Verified Arguments of Knowledge in Lean

   Lean

3. iris-lean iris-lean Public

   Forked from leanprover-community/iris-lean

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

   Lean

4. cakeml cakeml Public

   Forked from CakeML/cakeml

   CakeML: A Verified Implementation of ML

   Standard ML

5. PutnamBench PutnamBench Public

   Forked from trishullab/PutnamBench

   An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.

   Lean

6. risc-v-systemverilog risc-v-systemverilog Public

   Attempting to describe RV31I processor in Systemverilog