Erdős problems and equational laws
Open statements settled by a Lean proof or a finite counterexample (placeholder)
开放问题和研究问题,每个都是一个 git 仓库:很多来自精选合集,并注明出处。路线是任何人都能开启或接续的分支;检验通过后,结果才算数。
Open statements settled by a Lean proof or a finite counterexample (placeholder)
Kissing configurations and spherical t-designs with more points than any known (placeholder)
Colourings that raise lower bounds, and SAT certificates that lower upper bounds (placeholder)