Skip to content

proof(wager): Stage 8, terms with open types (no quantifier), and a side item on the second addition - #101

Merged
hyperpolymath merged 11 commits into
mainfrom
claude/wager-stage8-type-variables
Nov 11, 2026
Merged

proof(wager): Stage 8, terms with open types (no quantifier), and a side item on the second addition#101
hyperpolymath merged 11 commits into
mainfrom
claude/wager-stage8-type-variables

docs(wager): plan of Stage 9 (the quantifier), a proposal for the owner

d2d957a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar