Re:Formally verified WebAssembly using Coq and Extism
by nilslice on Tuesday September 12, 2023 @09:33AM
(#37480956)
bringing Formal Verification into more mainstream programming languages is a great side-effect of compiling extracted Haskell code to Wasm!
[ Parent
| on HN ]
There are no comments on this comment yet.