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

0.1.tar.gz
sha256=8b128a9a8f3acaa5ded5f05c12f07fe5828e40d961bc00fedf53a252a67f5890

Description

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

Tags

keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics date:2023-10-24

Published: 24 Oct 2023

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-itree >= "3.1.0"
  6. coq-mathcomp-ssreflect >= "1.16.0" & <= "1.18.0"
  7. coq-compcert >= "3.11"
  8. coq >= "8.16" & <= "8.17.1"
  9. dune >= "3.0"

Dev Dependencies

None

Used by

None

Conflicts

None