AppsWithCode
Open main menu
Javascript
Python
Rust
Java
Swift
Clojure
More
About
→
WasmCert-Coq
https://github.com/WasmCert/WasmCert-Coq
Coq
97
last month
Reviews
A mechanisation of Wasm in Coq
Search similar apps
coq
wasm
webassembly
License
MIT License
Share
Share on Facebook
Share on Instagram
Share on Twitter
Details
License
A mechanisation of Wasm in Coq
Creator
WasmCert
Related apps
