Zulip Chat Archive
Stream: Is there code for X?
Topic: Rado graph
Gabin Kolly (Nov 28 2024 at 19:46):
I didn't find any, but to be sure: is there anything related to the Rado graph in mathlib? I was thinking it would be nice to have the result that it is the Fraisse limit of finite graphs.
Rida Hamadani (Nov 28 2024 at 22:02):
I think @Jeremy Tan did some work on the Rado graph
Rida Hamadani (Nov 28 2024 at 22:04):
Last updated: May 02 2025 at 03:31 UTC