WasmCert

Pinned Repositories

WasmCert-Coq
A mechanisation of Wasm in Coq
Language:Coq90 12 2611
WasmCert-Isabelle
A mechanisation of Wasm in Isabelle.
Language:Isabelle184

WasmCert's Repositories

WasmCert/WasmCert-Coq
A mechanisation of Wasm in Coq
Language:Coq90 12 2611
WasmCert/WasmCert-Isabelle
A mechanisation of Wasm in Isabelle.
Language:Isabelle184