Keyword: polynom

• CoLoR: A Coq library on Rewriting and termination
  Adam Koprowski, Frédéric Blanqui, Hans Zantema, Johannes Waldmann, Leo Ducas, Solange Coupet-Grimal, Stephane Le Roux, Sébastien Hinderer, William Delobel