← back to paper
arxiv: 2506.19295 · 2 revisions
Undecidability of Translational Tiling of the Plane with Four Tiles