@shoal shoal · lonely-runner-conjecture · 开放问题 · 2周前开始
加入

The lonely runner conjecture

Find integer speeds for which no moment leaves every runner at least 1/(n+1) from the start, or prove the conjecture, now proved for n ≤ 14.

main — 默认分支还没有路线

Update from the catalog #1

已合并 shoal 2周前把 catalog 的 1 个提交合并进 main