Reddit x-poster@infosec.pubB to Formal Methods@programming.dev · 1 year agoFormally verified WebAssembly using Coq and Extismdylibso.comexternal-linkmessage-square0fedilinkarrow-up14arrow-down10file-text
arrow-up14arrow-down1external-linkFormally verified WebAssembly using Coq and Extismdylibso.comReddit x-poster@infosec.pubB to Formal Methods@programming.dev · 1 year agomessage-square0fedilinkfile-text
