GitHub / aionescu / lean-wasm

An intrinsically-typed interpreter for WebAssembly

JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/aionescu%2Flean-wasm
PURL: pkg:github/aionescu/lean-wasm

Stars: 2
Forks: 0
Open issues: 0

License: gpl-3.0
Language: Lean
Size: 26.4 KB
Dependencies parsed at: Pending

Created at: about 1 year ago
Updated at: 5 months ago
Pushed at: 4 months ago
Last synced at: 4 months ago

Topics: formal-verification, intrinsically-typed, lean4, wasm

Loading...