package coq-wasm
Wasm formalisation in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.2.0.tar.gz
sha256=52396234b60ee7d02fe283b4bef32dbce9c682ab8bc97258fe0e2bb5ec5fc574
Description
Wasm formalisation in Coq, following the AFP formalisation of Conrad Watt
Tags
keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics date:2025-08-20 logpath:WasmPublished: 25 Aug 2025
Dependencies (10)
-
wasm
>= "2.0.2" & <= "2.0.2" -
mdx
>= "1.9.0" -
linenoise
>= "1.4.0" -
cmdliner
>= "1.1.0" -
coq-parseque
>= "0.2.0" -
coq-mathcomp-ssreflect
>= "2.4.0" & <= "2.5~" -
coq-ext-lib
>= "0.11.8" -
coq-compcert
>= "3.14" -
coq
>= "8.20" & < "8.21~" -
dune
>= "3.11"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
On This Page