Carving problems with shortest games

Comments on https://lichess.org/@/king-playing-chess/blog/carving-problems-with-shortest-games/LTjkRtNi