Formally verified WebAssembly using Coq and Extism
dylibso.combringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!
bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!