GitHub repository: Huxpro/WasmCert
Primary language: Coq
Created: 2019-12-16T22:04:41Z
Description: A (in-development) Coq mechanization of WebAssembly specification.