Formalisation of the paper "Upper bounds for multicolour Ramsey numbers"

arxiv link to paper

Blueprint Homepage

Mathlib Contributions

See the auto-generated overview on the project homepage: https://forduniver.github.io/multicolorramsey

All contributions are tracked in the ToMathlib/ directory with metadata files. The contribution list is automatically generated during Jekyll build by the plugin in home_page/_plugins/mathlib_tracker.rb.