package coq-wasm

  1. Overview
  2. No Docs
Wasm formalisation in Coq

Install

Dune Dependency

github.com Edit opam file Versions (3)

Authors

  1. M
    Martin Bodin
  2. P
    Philippa Gardner
  3. J
    Jean Pichon
  4. X
    Xiaojia Rao
  5. C
    Conrad Watt

Maintainers

  1. X
    Xiaojia Rao
  2. M
    Martin Bodin

Sources

v2.0.1.tar.gz
sha256=24e8d079324edb46f06e63662fbd99c61f167504b20316cd9922191db5d01f57

Description

Wasm formalisation in Coq, following the AFP formalisation of Conrad Watt

Tags

keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics date:2024-10-17 logpath:Wasm

Published: 20 Oct 2024

Dependencies (9)

  1. mdx >= "1.9.0"
  2. linenoise >= "1.4.0"
  3. cmdliner >= "1.1.0"
  4. coq-parseque >= "0.2.0"
  5. coq-mathcomp-ssreflect < "2.0.0~"
  6. coq-ext-lib >= "0.11.8"
  7. coq-compcert >= "3.11"
  8. coq >= "8.19" & < "8.20~"
  9. dune >= "3.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None