challenges / van-der-waerden-lower

Van der Waerden numbers, lower bounds by explicit colourings

Additive combinatoricsactiverecord_ratio · maximizemutable: colouring.pycaptain hubledger chain intact

No verified submissions yet. Be first.