Mathematical Components
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Distributed Separation Logic: a framework for compositional verification...
High level commands to declare a hierarchy based on packed classes
Monadic effects and equational reasonig in Coq
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
A Coq formalization of information theory and linear error-correcting codes
A course on formal verification at https://compsciclub.ru/en, Spring ter...
Automation for de Bruijn syntax and substitution in Coq [maintainers=@Ra...
Finite sets, finite maps, multisets and generic sets
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Finite sets and maps for Coq with extensional equality
Ring, field, lra, nra, and psatz tactics for Mathematical Components
Graph Theory [maintainers=@chdoc,@damien-pous]
A proof of Abel-Ruffini theorem.