ReprSymGroup Formalisation of the Representation theory of the symmetric group Using Coq/MathComp The development here has been merged into https://github.com/hivert/Coq-Combi