Coq OPAMcoq-ppsimpl
Ppsimpl is a reflexive tactic for canonising (arithmetic) goals
opam install coq-ppsimpl.8.10.0
- homepage
- https://fbesson.gitlabpages.inria.fr/ppsimpl/
- license
- LGPL 3
- bugs tracker
- frederic.besson@inria.fr
- dependencies
- "ocaml" "coq" {>= "8.10" & < "8.11~"} "coq-bignums" {>= "8.10" & < "8.11~"}
- source
- https://fbesson.gitlabpages.inria.fr/ppsimpl/ppsimpl-17-10-2019.tar.gz
- package
- https://github.com/coq/opam-coq-archive/tree/master/released/packages/coq-ppsimpl/coq-ppsimpl.8.10.0