Keyword: algebra

• Algebra: Basics notions of algebra.
  Loïc Pottier
• 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
• CoRN: Constructive Coq Repository at Nijmegen
  Bart Kirkels, Bas Spitters, Dan Synek, Dimitri Hendriks, Freek Wiedijk, Henk Barendregt, Herman Geuvers, Iris Loeb, Jan Zwanenburg, Lionel Mamane, Luís Cruz-Filipe, Mariusz Giero, Milad Niqui, Nickolay V. Shmyrev, Pierre Letouzey, Randy Pollack, Rik van Ginneken, Russell O'Connor, Sébastien Hinderer