Can you solve this one?

LOCAL
+HALT
PROOF

See more puzzles containing HALT, LOCAL or PROOF.

Would you like to see the solution?