Popular repositories Loading
-
-
-
-
-
machura-ramsey-shadow-formula
machura-ramsey-shadow-formula PublicA reproducible proof package for R(5,5)=43 via the Machura Ramsey Shadow Formula, a one-vertex-extension obstruction method for Ramsey-critical graphs.
HTML
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.
