Geeks
WasmCert
/
WasmCert-Coq
A mechanisation of Wasm in Coq
Primary Language
Coq
MIT License
MIT
WasmCert-Coq GitHub
Markdown
Readme
23
Issues
89
Stargazers
12
Watchers
Watchers
ageorg29
co-dan
Groningen
conrad-watt
Nanyang Technological University
jeromesimeon
Clause, Inc.
jhcloos
ligurio
MatthewFluet
Rochester Institute of Technology
Mbodin
INRIA
philippagardner
Imperial College London
raoxiaojia
Imperial College London
SanderSpies
@ahrefs
tomhoule
@grafbase