Kernel-checked Lean 4 proof that four tiles suffice (k* = 4) for the mahjong tenpai wait-encoding puzzle, with the original computational study mirrored and credited.
Lean Updated 1 day ago 1 commits
drift-coder|Mirror: feierbuqiu/mahjong-tenpai-proof (⭐0)
1 day agoAbout
Kernel-checked Lean 4 proof that four tiles suffice (k* = 4) for the mahjong tenpai wait-encoding puzzle, with the original computational study mirrored and credited.
Readme