coq-qcert

Verified compiler for data-centric languages

opam install coq-qcert.2.1.0
homepage
https://querycert.github.io
license
Apache-2.0
bugs tracker
https://github.com/querycert/qcert/issues
dependencies
"ocaml" {>= "4.09.1"} "ocamlfind" "dune" "coq" {>= "8.11.0"} "coq-jsast" {>= "2.0.0"} "menhir" "base64" "uri" "calendar"
source
https://github.com/querycert/qcert/archive/v2.1.0.tar.gz
package
https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-qcert/coq-qcert.2.1.0