mathcomp-ci

There are 5 repositories under mathcomp-ci topic.

  • coq-community/coqeal

    The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]

    Language:Coq65151917

  • coq-community/reglang

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

    Language:Coq428147

  • coq-community/graph-theory

    Graph Theory [maintainers=@chdoc,@damien-pous]

    Language:Coq321144

  • coq-community/gaia

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

    Language:Coq281026

  • coq-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]

    Language:Coq13827