package coq-wasm
Wasm formalisation in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.1.0.tar.gz
sha256=1542c41d32a7dfac776b483025da96834c0f1df7781347c59f8750f65c882eef
Description
Wasm formalisation in Coq, following the AFP formalisation of Conrad Watt
Tags
keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics date:2025-06-29 logpath:WasmPublished: 30 Jun 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