/Wasm.lean

A WebAssembly implementation in Lean4

Primary LanguageLeanMIT LicenseMIT

Stargazers