Repository navigation

feat(busy_beaver): Port 11 single-file BB(6) proofs and SegCount - #28

Merged

TomZahavy merged 1 commit into

mainfrom

bb6-new-proofs-batch1

Nov 11, 2026

Merged

feat(busy_beaver): Port 11 single-file BB(6) proofs and SegCount#28
TomZahavy merged 1 commit into
mainfrom
bb6-new-proofs-batch1

Commits on Nov 7, 2026
- feat(busy_beaver): Port 11 single-file BB(6) halting and non-halting proofs
  Tom Zahavy
  committed
  0a29087