package coq-qcert

  1. Overview
  2. No Docs
A platform for implementing and verifying query compilers

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.6.tar.gz
md5=3ae70334db76c8a994d98ee5a6970fd4

Description

Published: 12 May 2019

Dependencies (2)

  1. coq >= "8.7.2" & < "8.8"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None