Mathematical Components
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
Formal proof of the Four Color Theorem [maintainer=@ybertot]
Mathematical Components compliant Analysis Library
High level commands to declare a hierarchy based on packed classes
Monadic effects and equational reasoning in Rocq
A Rocq formalization of information theory and linear error-correcting codes
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
Finite sets, finite maps, multisets and generic sets
Functional Data Structures and Algorithms in SSReflect [maintainer=@clayrat]
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
Graph Theory [maintainers=@chdoc,@damien-pous]
The formal proof of the Odd Order Theorem
Micromega tactics for Mathematical Components
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
Stable sort algorithms and their stability proofs in Rocq
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
Tool for suggesting lemma names in Coq verification projects
Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
Completeness and Decidability of Modal Logic Calculi [maintainer=@chdoc]
Docker images of coq-mathcomp [maintainer=?]