Coq OPAMcoq-template-coq
A quoting and unquoting library for Coq in Coq
opam install coq-template-coq.2.1~beta3
- homepage
- https://template-coq.github.io/template-coq
- license
- MIT
- bugs tracker
- https://github.com/Template-Coq/template-coq/issues
- dependencies
- "ocaml" {>= "4.05"} "coq" {>= "8.8" & < "8.9~"}
- source
- https://github.com/MetaCoq/metacoq/archive/v2.1-beta3.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-template-coq/coq-template-coq.2.1~beta3