Repository navigation

Import pointwise provable equality and failure of composition - #690

Merged

Vilin97 merged 5 commits into

mainfrom

codex/daily-pointwise-composition-20261019

Oct 20, 2026

Merged

Import pointwise provable equality and failure of composition#690
Vilin97 merged 5 commits into
mainfrom
codex/daily-pointwise-composition-20261019

Commits on Oct 19, 2026
- Import pointwise provable equality and failure of composition
  Vilin97
  committed
  0ccf535
- Share evaluator decoder and constructor helpers
  Vilin97
  committed
  afc6581
- Share graph congruence proofs and cut-free inversion
  Vilin97
  committed
  41af0fb
- Share evaluator decoders, graph proofs, and structural induction
  Vilin97
  committed
  f5169e0
- Specialize congruence lemmas from shared graph equivalence
  Vilin97
  committed
  b49235e