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
