Repository Index

A markup-driven CSS orchestration language for developers and AI agents.

• css
• engine
• language
• master

Mathematical Components

• coq
• ssreflect
• mathcomp
• coq-formalization

Formal proof of the Four Color Theorem [maintainer=@ybertot]

• coq
• ssreflect
• mathcomp
• four-color-theorem

Mathematical Components compliant Analysis Library

• rocq
• analysis
• coq
• mathcomp

Monadic effects and equational reasoning in Rocq

• monads
• monad-transformers
• probabilistic-programming
• nondeterminism

A Rocq formalization of information theory and linear error-correcting codes

• information-theory
• error-correcting-codes
• probability
• convexity

Finite sets, finite maps, multisets and generic sets

• coq
• ssreflect
• mathcomp
• finite-sets

Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

• coq
• mathcomp
• regular-languages
• ssreflect

The universal ISSR server compatible with <your-favorite-programming-language>

The formal proof of the Odd Order Theorem

• coq
• ssreflect
• mathcomp
• feit-thompson-theorem

Micromega tactics for Mathematical Components

• coq
• ssreflect
• mathcomp
• proof-automation

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

• coq
• bourbaki
• set-theory
• mathcomp

Stable sort algorithms and their stability proofs in Rocq

• mathcomp
• ssreflect
• sorting-algorithms
• mergesort

Coq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]

• coq
• mathcomp
• ssreflect
• tarjan-algorithm