GitHub topics: intrinsically-typed
aionescu/lean-wasm
An intrinsically-typed interpreter for WebAssembly
Language: Lean - Size: 26.4 KB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 2 - Forks: 0
Related Keywords