1 search result for "tag:"logpath:PP""

Showing 1 - 1
  1. coq-ppsimpl

    No documentation

    Ppsimpl is a reflexive tactic for canonising (arithmetic) goals
    keyword:integers keyword:arithmetic keyword:automation category:Miscellaneous/Coq Extensions logpath:PP
    Frédéric Besson
    8.10.0
    LGPL 3
    Used by 0 other packages
    18 Oct 2019