T-Bricknumbers

Arbitrary Bit-Length Integers in Lean
#wasm
Displaying 1-1 of 1 packages depending on T-Brick/numbers
Sort by

  1. T-Brick/wasmusesa7093c6

    Formalising the WASM spec in Lean