etheoremEtheorem

A Lean 4 implementation of the Ethereum consensus specification for the Fulu and Gloas forks.
Sort by
  1. Local path dependency.
    Not found on Reservoir.

    LeanPoseidon0.0.0

  2. Local path dependency.
    Not found on Reservoir.

    EthCLSpecs0.0.0

  3. Local path dependency.
    Not found on Reservoir.

    EthCLLib0.0.0

  4. Local path dependency.
    Not found on Reservoir.

    SizzLean0.0.0

  5. Local path dependency.
    Not found on Reservoir.

    LeanHazmatKzg0.0.0

  6. Local path dependency.
    Not found on Reservoir.

    LeanHazmatBls0.0.0

  7. Local path dependency.
    Not found on Reservoir.

    LeanHazmatSha2560.0.0

  8. Local path dependency.
    Not found on Reservoir.

    LeanSha2560.0.0