T-Brickwasm

Formalising the WASM spec in Lean
#formal-verification #wasm
Sort by
  1. Git dependency.
    Not found on Reservoir.

    Cli10d88b5

  2. Git dependency.
    Found on Reservoir.

    mathlibv4.8.0

    The math library of Lean 4
  3. Git dependency.
    Found on Reservoir.

    numbersa7093c6

    Arbitrary Bit-Length Integers in Lean