New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Prove BB(3,3) id 642 doesn't halt #5

Open

int-y1 wants to merge 1 commit into meithecatte:master from int-y1:bb33_642

Contributor

int-y1 commented Oct 9, 2024 •

edited

Loading

https://bbchallenge.org/1RB2LB---_1RC2RB1LC_0LA0RB1LB

I got the id 642 from https://wiki.bbchallenge.org/wiki/BB(3,3)


          Prove BB(3,3) id 642 doesn't halt

c6877bf

int-y1 force-pushed the bb33_642 branch from 4702e61 to c6877bf Compare

October 9, 2024 08:52

ccz181078 added a commit to ccz181078/busycoq that referenced this pull request


          add classic cryptid meithecatte#5

8e0a2b5

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet