Skip to content

feat(descriptive): compile ordered FO and prove parity nondefinability - #1739

Merged
SamuelSchlesinger merged 1 commit into
mainfrom
codex/descriptive-ordered-ac0-20261030
Oct 30, 2026
Merged

feat(descriptive): compile ordered FO and prove parity nondefinability#1739
SamuelSchlesinger merged 1 commit into
mainfrom
codex/descriptive-ordered-ac0-20261030

Commits

  1. Commits on Oct 30, 2026