WasmCert

A (in-development) Coq mechanization of WebAssembly specification.

GitHub

21 stars
5 watching
0 forks
Language: Coq
last commit: about 3 years ago