Talk:Onoz

Which algorithm to prove nonhalting?