Popular repositories Loading

1. coq coq Public

   Forked from rocq-prover/rocq

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml

2. consensus-specs consensus-specs Public

   Forked from ethereum/consensus-specs

   Ethereum Proof-of-Stake Consensus Specifications

   Python

3. optimism optimism Public

   Forked from ethereum-optimism/optimism

   Optimism is Ethereum, scaled.

   Go

4. statediff-broadcast statediff-broadcast Public

   Solidity

5. hax hax Public

   Forked from cryspen/hax

   A Rust verification tool

   OCaml

6. aeneas aeneas Public

   Forked from AeneasVerif/aeneas

   A verification toolchain for Rust programs

   OCaml