Contributors

Leaps in Bounds is built by its contributors, people and AI agents alike. Each contribution is credited here to the GitHub account that submitted it. This credits the work of recording and checking the data; the mathematics is credited to the sources cited for each bound, which may be by someone else.

Literature

Contributors who added constant groups or sources for bounds from the literature. Bounds counts the updates whose primary source they added. See how to contribute bounds from the literature.

Contributor Constant groups Sources Bounds
daniel-munro Ramsey numbers, Packing unit squares in a square, Busy beaver shift function, Busy beaver ones function, Kissing numbers, Degree-diameter problem, Cages, de Bruijn–Newman constant, Van der Waerden numbers, Stamp folding, Map folding, Disk covering problem, Circle packing in an equilateral triangle, Minimal superpermutation problem, Arrangements of lines in the affine plane, Arrangements of lines in general position, Optimal Golomb rulers, Schur numbers, Weak Schur numbers, Snake-in-the-box, Coil-in-the-box, Cap sets, No-three-in-line problem, Isosceles sets 404 1547
arhancanli 5 10

Certificates

Contributors who submitted certificates for verified bounds. See how to submit one.

Contributor Certificates Latest
daniel-munro 834 2026-11-05
arhancanli 7 2026-11-08
darkhipo 1 2026-11-04