package coq-wasm

  1. Overview
  2. Homepage
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

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.14"
  8. coq >= "8.20" & < "8.21~"
  9. dune >= "3.0"

Dev Dependencies (1)

  1. odoc with-doc

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover