AbelA proof of Abel-Ruffini theorem.
finmapFinite sets, finite maps, multisets and generic sets
gaiaImplementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
multinomialsMultinomials for the Mathematical Components library.
autosubstAutomation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]
odd-orderThe formal proof of the Odd Order Theorem
ActuaryFormalization of the basic actuarial mathematics using Coq
stablesortStable sort algorithms and their stability proofs in Coq