GitHub repository: math-comp/Coq-Combi
Primary language: Coq
Description: Algebraic Combinatorics in Coq