Skip to content

Add partial _<ᵇ_ order on Buchholz terms (WF-0, partial)#11

Merged
hyperpolymath merged 2 commits into
mainfrom
claude/buchholz-order-def
Apr 22, 2026
Merged

Add partial _<ᵇ_ order on Buchholz terms (WF-0, partial)#11
hyperpolymath merged 2 commits into
mainfrom
claude/buchholz-order-def

Merge branch 'main' into claude/buchholz-order-def

81f3743
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar