README.md

lean-wasm

An intrinsically-typed WebAssembly interpreter written in Lean 4.

Requirements

• lean >= 4.9.0
• lake >= 5.0.0

Both can be installed via elan, the Lean toolchain manager.

Building the code

lake build

Running the examples

lake exe lean-wasm