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.1.0.tar.gz
md5=05eb4f957147d80f5967fbe8e05f32d6

Description

Published: 24 Apr 2018

Dependencies (4)

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

Dev Dependencies

None

Used by

None

Conflicts

None