Coq OPAMcoq-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" & < "8.13~"} "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