coq-qcert

A platform for implementing and verifying query compilers

opam install coq-qcert.1.0.4
homepage
https://querycert.github.io
license
Apache-2.0
bugs tracker
https://github.com/querycert/qcert/issues
dependencies
coq >= 8.7.1
source
https://github.com/querycert/qcert/archive/v1.0.4.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-qcert/coq-qcert.1.0.4