5 skills found
rocq-community / CoqealThe Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
rocq-community / ReglangRegular Language Representations in Coq [maintainers=@chdoc,@palmskog]
rocq-community / Graph TheoryGraph Theory [maintainers=@chdoc,@damien-pous]
rocq-community / GaiaImplementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
rocq-community / TarjanCoq formalization of algorithms due to Tarjan and Kosaraju for finding strongly connected graph components using Mathematical Components and SSReflect [maintainers=@CohenCyril,@palmskog]
