package coq-qcert

  1. Overview
  2. No Docs
Verified compiler for data-centric languages

Install

Dune Dependency

querycert.github.io Edit opam file Versions (14)

Authors

  1. J
    Josh Auerbach
  2. M
    Martin Hirzel
  3. L
    Louis Mandel
  4. A
    Avi Shinnar
  5. J
    Jerome Simeon

Maintainers

  1. J
    jeromesimeon@me.com

Sources

v1.2.0.tar.gz
md5=2908bc90f9f175da3a7f5bcce26e0f0e

Description

Published: 11 Aug 2018

Dependencies (4)

  1. coq-jsast >= "1.0.8"
  2. coq-flocq >= "2.6.1" & < "3.0~"
  3. coq >= "8.8.1"
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None