Skip to content

Add 181 kernel-verified BB(6) halting and non-halting proofs - #23

Merged
mo271 merged 14 commits into
mainfrom
bb6-halting-proofs
Nov 6, 2026
Merged

Add 181 kernel-verified BB(6) halting and non-halting proofs#23
mo271 merged 14 commits into
mainfrom
bb6-halting-proofs

Address review: close public sections, add license headers, compact c…

1bcd4fb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar