package coq-wasm
Wasm formalisation in Coq
Install
Dune Dependency
Authors
Maintainers
Sources
v2.0.2.tar.gz
sha256=6b63db9ba1749c6a7268c22e21ab680237d0130704ba76b293052ad488454ff5
Description
Wasm formalisation in Coq, following the AFP formalisation of Conrad Watt
Tags
keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics date:2025-03-13 logpath:WasmPublished: 14 Mar 2025
Dependencies (9)
-
mdx
>= "1.9.0"
-
linenoise
>= "1.4.0"
-
cmdliner
>= "1.1.0"
-
coq-parseque
>= "0.2.0"
-
coq-mathcomp-ssreflect
< "2.0.0~"
-
coq-ext-lib
>= "0.11.8"
-
coq-compcert
>= "3.14"
-
coq
>= "8.20" & < "8.21~"
-
dune
>= "3.0"
Dev Dependencies (1)
-
odoc
with-doc
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page