coq-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