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.
Pull requests
Pull requests bring work from one route into another; merging one adopts it.
No open pull requests
Pull requests bring work from one branch into another.