Algebraic Combinatorics in Coq/MathComp