Category: Algebra

• Algebra: Basics notions of algebra.
  Loïc Pottier
• Buchberger: Proof of Buchberger's algorithm
  Henrik Persson, Laurent Théry
• 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
• FreeGroups: Free Groups
  Daniel Schepler
• GroupTheory: Elements of Group Theory
  Gilles Kahn
• LinAlg: Linear Algebra
  Jasper Stein
• MathClasses: Math Classes
  Bas Spitters, Eelis van der Weegen, Robbert Krebbers
• Matrices: Ring properties for square matrices
  Nicolas Magaud
• OrbStab: Finite orbit-stabilizer theorem
  Robert Kam
• RelationAlgebra: Relation Algebra, Kleene algebra, KAT
  Damien Pous
• SquareMatrices: From Fast Exponentiation to Square Matrices
  Jean-Christophe Filliâtre