No results found

Wasm.lean

A WebAssembly implementation in Lean4
#wasm #webassembly
Displaying 1-1 of 1 versions of Wasm.lean
Sort by
  1. Not a part of any version track.
    454172e
    a year ago
    Released on December 13, 2023 at 9:21:15PM
    Commit 454172e builds on its old leanprover/lean4:nightly-2023-01-10
    nightly-2023-01-10