Repository navigation

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

Open

Vilin97 wants to merge 2 commits into

mainfrom

codex/daily-parikh-20261014

Open

Import Parikh's theorem and certified semilinear grammar compiler#653
Vilin97 wants to merge 2 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