Lean 4 formalization of Knuth's 'Claude's Cycles' paper - View it on GitHub