Repository navigation

feat(descriptive): prove the ordered Fagin characterization - #1761

Merged

SamuelSchlesinger merged 1 commit into

mainfrom

codex/descriptive-ordered-fagin-20261030

Oct 30, 2026

Merged

feat(descriptive): prove the ordered Fagin characterization#1761
SamuelSchlesinger merged 1 commit into
mainfrom
codex/descriptive-ordered-fagin-20261030

Commits on Oct 30, 2026
- feat(descriptive): prove the ordered Fagin characterization
  SamuelSchlesinger
  committed
  8a0eb46