Metaprogramming, verified meta-theory and implementation of Coq in Coq
This release reflects the current status of the Coq 8.7 branch of Template-Coq. It is not feature-complete but stability is expected for:
Work is in progress on:
This release significantly departs from and is incompatible with series 1 by Gregory Malecha (see https://github.com/gmalecha/template-coq/releases) and the 8.6 version (branch master on github and coq-template-coq.8.6.dev
on opam)