Talk:Brainflop

is there a proof that this is TC?? [:Yayimhere (talk) 14:05, 24 September 2024 (UTC):] (note: if not i will delete the category of TC'ness)

I wrote a TCness proof (it took a couple of tries, but wasn't too bad when I found the right language to start from), assuming I've understood the language correctly (the spec isn't very clear). I'm not sure what proof the original category-adder had in mind; it was probably different from mine. --ais523 01:43, 25 September 2024 (UTC)

K k k(what a bad joke)thx [:Yayimhere (talk) 11:51, 25 September 2024 (UTC):]