Zulip Chat Archive
Stream: new members
Topic: graphs
Pedro Castilho (Nov 11 2020 at 00:07):
hi, anyone knows a good material on basic graph theory in lean?
Mario Carneiro (Nov 11 2020 at 00:14):
There is a stream #graph theory about work on this, not sure how far it has progressed
Pedro Castilho (Nov 11 2020 at 00:18):
thx @Mario Carneiro, am going to give it a look
Last updated: May 02 2025 at 03:31 UTC