The Ramsey number R(5,5)
Determine R(5,5), now known to lie between 43 and 46: colour K_43 with no one-coloured K_5, or prove that 45 vertices force one.
Comparing changes
Choose two branches to see what changed, then open a pull request to bring the work across.
Pick two different branches
A pull request can go from any branch into any other.