graph-theory

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

32 stars

11 watching

4 forks

Language: Coq

last commit: 3 months ago

Linked from 2 awesome lists

coqdocker-coq-actiongraph-theorymathcompmathcomp-ci

Backlinks from these awesome lists: