Repository navigation

proofs(agda): the wager experiment for coercions and roles (stages 0 and 1) - #87

Merged

hyperpolymath merged 4 commits into

mainfrom

claude/systemet-wager-cubical-agda-nqsiff

Nov 10, 2026

Merged

proofs(agda): the wager experiment for coercions and roles (stages 0 and 1)#87
hyperpolymath merged 4 commits into
mainfrom
claude/systemet-wager-cubical-agda-nqsiff

Commits on Nov 10, 2026
- proofs(agda): Wager stage 0, toolchain and plan
  claude
  committed
  d20b029
- proofs(agda): Wager stage 1, target calculus and frozen statements
  claude
  committed
  f9f3b65
- proofs(agda): Wager stage 1, T0 for an arbitrary grade algebra
  claude
  committed
  b227b89
- chore(proofs): wire the Agda gate into the repository
  claude
  committed
  222c3f7