Repository navigation

feat(logic): add FO(LFP), tuple closure, and certified formula synthesis - #1774

Merged

SamuelSchlesinger merged 3 commits into

mainfrom

codex/fo-lfp-operators-6e6ef933583f

Oct 31, 2026

Merged

feat(logic): add FO(LFP), tuple closure, and certified formula synthesis#1774
SamuelSchlesinger merged 3 commits into
mainfrom
codex/fo-lfp-operators-6e6ef933583f

Commits on Oct 30, 2026
- feat(logic): add extensible FO(LFP), tuple closure, and certified synthesis
  SamuelSchlesinger
  committed
  cd512db
- style(logic): wrap operator reference documentation
  SamuelSchlesinger
  committed
  0f50f86
Commits on Oct 31, 2026
- fix(logic): resolve operator automation lints
  SamuelSchlesinger
  committed
  746c420