WasmCert / WasmCert-Coq

A mechanisation of Wasm in Coq(Rocq)
101Updated last week

Alternatives and similar repositories for WasmCert-Coq:

Users that are interested in WasmCert-Coq are comparing it to the libraries listed below