A (in-development) Coq mechanization of WebAssembly specification. - View it on GitHub