Skip to content

feat(logic): prove the Immerman–Vardi characterization - #1782

Open
SamuelSchlesinger wants to merge 1 commit into
codex/fo-lfp-tuples-6e6ef933583ffrom
codex/immerman-vardi-6e6ef933583f
Open

feat(logic): prove the Immerman–Vardi characterization#1782
SamuelSchlesinger wants to merge 1 commit into
codex/fo-lfp-tuples-6e6ef933583ffrom
codex/immerman-vardi-6e6ef933583f

Commits

  1. Commits on Oct 30, 2026