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-03-2018.tar.gz
md5=e1285aa25e2573056f039c7d501e239d

Description

Tags

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

Published: 12 Mar 2018

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None