github.com/coq/opam-coq-archive
Ppsimpl is a reflexive tactic for canonising (arithmetic) goals
opam install coq-ppsimpl.8.10.0