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

Commits

  1. Commits on Nov 10, 2026