GitHub repository: rocq-community/graph-theory
Primary language: Coq
Description: Graph Theory [maintainers=@chdoc,@damien-pous]