Popular repositories Loading

1. yul-compiler yul-compiler Public

   Forked from powdr-labs/yul-compiler

   Verified yul to evm bytecode compiler

   Lean

2. apc-optimizer apc-optimizer Public

   Forked from powdr-labs/apc-optimizer

   Lean

3. yul-semantics yul-semantics Public

   Forked from powdr-labs/yul-semantics

   Semantics of the Yul language in lean

   Lean

4. evm-semantics evm-semantics Public

   Forked from powdr-labs/evm-semantics

   Lean

5. complexitylib complexitylib Public

   Forked from cslib-community/complexitylib

   Computational complexity theory in Lean built on top of CSLib.

   Lean

6. complexity-proof-map complexity-proof-map Public

   How complexities of functions are proven in cslib-community/complexitylib, across machine models

   HTML