Formally verified WebAssembly using Coq and Extismhttps://dylibso.com/blog/formally-verified-webassembly-plugins/ by mazeez • 3 years ago 12 1 3 years agoDYdylibso.com