Repository navigation

Import Parikh's theorem and certified semilinear grammar compiler - #653

Merged

Vilin97 merged 4 commits into

mainfrom

codex/daily-parikh-20261014

Nov 14, 2026

Merged

Import Parikh's theorem and certified semilinear grammar compiler#653
Vilin97 merged 4 commits into
mainfrom
codex/daily-parikh-20261014

Commits on Oct 14, 2026
- Import Parikh's theorem and certified grammar compiler
  Vilin97
  committed
  86a6fd1
- Bound compiler searches by active labels and deduplicate productions
  Vilin97
  committed
  c3bbcd2
Commits on Nov 14, 2026
- fix(Parikh): import the finite-product instance explicitly
  Vilin97
  committed
  991b52f
- Integrate the landed build-watch race fix for Parikh validation
  Vilin97
  committed
  6ef56fd