package coq-wasm
Wasm formalisation in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.2.1.tar.gz
sha256=def864ac2cc56054dac1001720166978ae4cc1ac705b2caf67492ca90a2bbeab
Description
Wasm formalisation in Coq, following the AFP formalisation of Conrad Watt
Tags
keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics date:2026-10-12 logpath:WasmPublished: 20 Oct 2026
Dependencies (10)
-
wasm
>= "2.0.2" & <= "2.0.2" -
mdx
>= "1.9.0" -
linenoise
>= "1.4.0" -
cmdliner
>= "1.1.0" -
rocq-parseque
>= "0.3.1" -
rocq-mathcomp-ssreflect
>= "2.4.0" & < "2.7~" -
coq-ext-lib
>= "0.11.8" -
coq-compcert
>= "3.14" -
coq
>= "9.0" & < "9.3~" -
dune
>= "3.11"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page