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-03-05-2019.tar.gz
md5=ced4651a2fc70c0f146cde6eb722cd77

Description

Tags

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

Published: 03 May 2019

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None