search

bbchallenge / bbchallenge-deciders

Here we give programs that check if Turing machines halt or not.
10 stars 3 forks source link

Backward reasoning #4

Closed milomg closed 2 years ago

milomg commented 2 years ago

More discussion here: https://discuss.bbchallenge.org/t/decider-backward-reasoning/35/7

tcosmo commented 2 years ago

@modderme123 please refer to #5