WasmCert-Coq

github.comtool

Formalization in Coq of the WebAssembly (aka Wasm) 1.0 specification.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Verified Software: “Formalization in Coq of the WebAssembly (aka Wasm) 1.0 specification.”