Proof of the Kneser conjecture

Stream: graph theory

[Daniel Carranza]

Hi everyone! We currently have a small group of undergraduate students trying to formalize Lovasz's proof of the Kneser conjecture (we're the same group from #announce > 2025 Fields Undergraduate Summer Research Program ). So far, we have some code formalizing the definition of an abstract simplicial complex, the face poset and order complex, and the neighborhood complex of a graph. Are there any particular instructions/best practices we should follow in submitting PRs?

[Bryan Gin-ge Chen]

I'm guessing you and your team have already read our guide for contributors? If so then feel free to open PRs!

[Bryan Gin-ge Chen]

Note that the guidelines have been updated somewhat recently; write access is no longer needed and contributions should now be made from forks.

[Daniel Carranza]

Thanks for the link, and for the heads up! Do we need to request any permissions for new contributors, or should we be able to open PRs right away?

[Kevin Buzzard]

You can just open PRs straight away