package coq-ppsimpl

  1. Overview
  2. No Docs
Ppsimpl is a reflexive tactic for canonising (arithmetic) goals

Install

Dune Dependency

fbesson.gitlabpages.inria.fr Edit opam file Versions (4)

Authors

  1. F
    Frédéric Besson

Maintainers

  1. F
    frederic.besson@inria.fr

Sources

ppsimpl-09-07-2018.tar.gz
md5=7061a879f48365b95f2e749073df789f

Description

Tags

keyword:integers keyword:arithmetic keyword:automation category:Miscellaneous/Coq Extensions logpath:PP

Published: 10 Jul 2018

Dependencies (3)

  1. coq-bignums >= "8.8" & < "8.9~"
  2. coq >= "8.8" & < "8.9~"
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None