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-17-10-2019.tar.gz
md5=db2cc823e6d4cd53e9429cef7af34d10

Description

Tags

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

Published: 18 Oct 2019

Dependencies (3)

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

Dev Dependencies

None

Used by

None

Conflicts

None