Heart
Grid
Collect every heart, push the emeralds, open the door – and step through to the next room. Every room is proven solvable in Lean 4.
Moves
0
Hearts left
0
Best
–
Wait (Space)
Undo (Z)
Restart (R)
Show proof
▲
◀
▼
▶
Arrows / WASD move · Space wait · Z undo · R restart
Blue = patroller, purple = hunter (sees along rows & columns).