no-way-labs/residue

Hamiltonian decomposition of Z_m^3 Cayley digraphs for all m > 2 — a complete solution to Knuth's "Claude's Cycles," found by LLM agents under a structured exploration prompt. Constructions, proofs, Lean formalization, and a verification suite.

语言：TeX · GitHub 星标：27 · Fork：4

话题：ai-for-math · automated-reasoning · cayley-graph · combinatorics · graph-theory · hamiltonian-decomposition · knuth · lean4

在 GitHub 上查看原仓库