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.2.tar.gz
sha256=9f6cdbf7203d6c7fa02a62cefb5a386405c0e94575f558b77a8a725e58ee6584

Description

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

Tags

keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics Date:2024-01-22 logpath:Wasm

Published: 24 Jan 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-itree >= "3.1.0"
  6. coq-mathcomp-ssreflect >= "1.16.0" & <= "1.18.0"
  7. coq-compcert >= "3.11"
  8. coq >= "8.16" & < "8.18~"
  9. dune >= "3.0"

Dev Dependencies

None

Used by

None

Conflicts

None