kai-e.github.io
On the fold of 1..n with XOR
Formalisation
(
pdf
) and
proof
.