Skip to content

proof(ordinal): Veblen engine monotone in its iterated function (BH climb rung 8) - #262

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/modest-hawking-3fd6it
Jun 21, 2026
Merged

proof(ordinal): Veblen engine monotone in its iterated function (BH climb rung 8)#262
hyperpolymath merged 1 commit into
mainfrom
claude/modest-hawking-3fd6it

proof(ordinal): Veblen engine monotone in its iterated function (BH c…

d61b4d7
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / Hypatia succeeded Jun 21, 2026 in 7s

No new alerts in code changed by this pull request

View all branch alerts.