Rare find

WasmCert-Coq. A mechanisation of Wasm in Rocq

github.com/WasmCert/WasmCert-Coq

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.