top | item 37480714 Formally verified WebAssembly using Coq and Extism 12 points| mazeez | 2 years ago |dylibso.com 1 comment order hn newest nilslice|2 years ago bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!
nilslice|2 years ago bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!
nilslice|2 years ago