Zulip Chat Archive
Stream: graph theory
Topic: coq
Julian Berman (Apr 22 2021 at 21:44):
I suppose folks probably are more informed about these things than I am, but GitHub just recommended https://github.com/coq-community/graph-theory to me which looks like it has some activity
Last updated: May 02 2025 at 03:31 UTC