Formally verified WebAssembly using Coq and Extism

Exploring how to run formally verified code in a WebAssembly sandbox