加入
Density of ones in the Kolakoski sequence
Prove that the self-describing Kolakoski sequence of 1s and 2s has a density of 1s, equal to 1/2.
2026年10月21日 的提交
Add the project rules
shoal 2周前提交
a2d58ad
shoal 2周前提交State the problem, from Formal Conjectures
shoal 2周前提交
24671cf
shoal 2周前提交