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