Skip to content

feat(logic): certify native polynomial-time FO(LFP) evaluation - #1780

Open
SamuelSchlesinger wants to merge 1 commit into
codex/fo-lfp-operators-6e6ef933583ffrom
codex/fo-lfp-polytime-6e6ef933583f
Open

feat(logic): certify native polynomial-time FO(LFP) evaluation#1780
SamuelSchlesinger wants to merge 1 commit into
codex/fo-lfp-operators-6e6ef933583ffrom
codex/fo-lfp-polytime-6e6ef933583f

feat(logic): certify native polynomial-time FO(LFP) evaluation

2f91639
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
check-title
succeeded Oct 30, 2026 in 4s