Mathematical Components compliant Analysis Library

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

Finite sets, finite maps, multisets and generic sets

Coq formalization of matrix differentiation

Programming Language Project (Prove max-flow/min-cut theorem of Graph Theory)