Projects in Awesome Lists tagged with mathcomp-ci
A curated list of projects in awesome lists tagged with mathcomp-ci .
https://github.com/rocq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
coq coq-ci coq-platform mathcomp mathcomp-ci refinement
Last synced: 09 Apr 2025
https://github.com/rocq-community/reglang
Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]
coq coq-nix-toolbox coq-platform docker-coq-action mathcomp mathcomp-ci regexp regular-languages ssreflect
Last synced: 17 Mar 2026
https://github.com/rocq-community/graph-theory
Graph Theory [maintainers=@chdoc,@damien-pous]
coq docker-coq-action graph-theory mathcomp mathcomp-ci
Last synced: 16 Mar 2026
https://github.com/rocq-community/gaia
Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]
bourbaki coq docker-coq-action mathcomp mathcomp-ci set-theory ssreflect
Last synced: 10 Apr 2025
https://github.com/rocq-community/tarjan
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 mathcomp-ci ssreflect tarjan-algorithm
Last synced: 10 Apr 2025