coq-qcert

Verified compiler for data-centric languages

opam install coq-qcert.1.2.0
homepage
https://querycert.github.io
license
Apache-2.0
bugs tracker
https://github.com/querycert/qcert/issues
dependencies
coq >= 8.8.1 & coq-flocq (>= 2.6.1 & < 3.0~) & coq-jsast >= 1.0.8
source
https://github.com/querycert/qcert/archive/v1.2.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-qcert/coq-qcert.1.2.0