Skip to content

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

feat(busy_beaver): Port 11 single-file BB(6) halting and non-halting …

0a29087
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar