GitHub repository: FordUniver/multicolorramsey
Primary language: Lean
Description: Repository for formalizing the improved upper bounds on the multicolor Ramsey numbers