GitHub repository: rocq-community/math-classes
Primary language: Coq
Description: A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters,@Lysxia]