WasmCert-Coq

A mechanisation of Wasm in Coq

GitHub
90 stars
12 watching
11 forks
Language: Coq
last commit: 29 days ago
Linked from 2 awesome lists

coqwasmwebassembly

Backlinks from these awesome lists: