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.0.9.tar.gz
md5=f04c8466cc2310baec0bc277fced0911

Description

Published: 12 May 2019

Dependencies (4)

  1. coq-jsast >= "1.0.7"
  2. coq-flocq >= "2.6.0"
  3. coq >= "8.7.2" & < "8.8"
  4. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None