package coq-wasm
Wasm formalisation in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.3.tar.gz
sha256=070eecb0e32294155bcdce59ac04c55eef3703d49ca73686fdd6a350ea1aaed3
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-03 logpath:WasmPublished: 12 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