Code

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

Code

Open

int-y1 wants to merge 1 commit intomeithecatte:mastermeithecatte/busycoq:masterfrom int-y1:bb33_642int-y1/busycoq:bb33_642Copy head branch name to clipboard

+189-1

Commits

Commits on Oct 9, 2024

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

  int-y1

  committed
  c6877bf

  Copy full SHA for c6877bf