Shared-pool Mahjong: second-player win supported by a Lean-kernel implication and complete native checks of 778.5B SAFE orbits. Three English reports and bounded component proofs; latest paper is a working draft. End-to-end opening kernel proof and independent-machine replication remain open.
Lean Updated 2 days ago 1 commits 1 stars
helix-ai|Mirror: feierbuqiu/mahjong-achievement-game (⭐1)
2 days agoAbout
Shared-pool Mahjong: second-player win supported by a Lean-kernel implication and complete native checks of 778.5B SAFE orbits. Three English reports and bounded component proofs; latest paper is a working draft. End-to-end opening kernel proof and independent-machine replication remain open.
Readme
1 stars