https://github.com/WasmCert/WasmCert-Coq
Coq83
5 months ago
A mechanisation of Wasm in Coq
MIT License