A mechanisation of Wasm in Coq - View it on GitHub