Formally verified WebAssembly using Coq and Extism (opens in new tab)

(dylibso.com)

12 pointsmazeez2y ago1 comments

1 comments

bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!

j / k navigate · click thread line to collapse

(dylibso.com)

12 pointsmazeez2y ago1 comments

bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!

j / k navigate · click thread line to collapse