from
Hacker News
Top
New
Formally verified WebAssembly using Coq and Extism
by
mazeez
on 9/12/23, 1:17 PM with 1 comments
by
nilslice
on 9/12/23, 1:33 PM
bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!