3 ms·Formally verified WebAssembly using Coq and Extism12 points by mazeez 3y agonilslice 3y agobringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!