package coq-wasm

You can search for identifiers within the package.

in-package search v0.2.0

Wasm formalisation in Coq

Install

Dune Dependency

github.com Edit opam file Versions (7)

Authors

Maintainers

Sources

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:Wasm

Published: 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

On This Page

Description
Dependencies (9)
Dev Dependencies (1)
Used by
Conflicts