C0
LRC(13) holds
In plain language
The Lonely Runner Conjecture for 13 nonzero speeds is the target. It is not solved, the project builds verifiable infrastructure and narrows the obstruction.
Exact statement
LRC(13) holds
C0
The Lonely Runner Conjecture for 13 nonzero speeds is the target. It is not solved, the project builds verifiable infrastructure and narrows the obstruction.
LRC(13) holds