GitHub - Huxpro/WasmCert: A (in-development) Coq mechanization of WebAssembly specification. - discu.eu

Reddit

WasmCert: A (in-development) Coq mechanization of WebAssembly specification https://github.com/Huxpro/WasmCert 4 comments 17/12/2019 coq

Linking pages

GitHub - uhub/awesome-coq: A curated list of awesome Coq frameworks, libraries and software. https://github.com/uhub/awesome-coq 5 comments

Would you like to stay up to date with Web Development? Checkout Web Development Weekly.

Related searches:

Search whole site: site:github.com

Search title: GitHub - Huxpro/WasmCert: A (in-development) Coq mechanization of WebAssembly specification.

See how to search.

Submit link to: