Skip to content

Complete transitive chains when their right-hand premise arrives later - #1051

Merged
WaylandYang merged 2 commits into
deeplethe:devfrom
Maya-Kid:codex/reasoning-order-independent
Oct 2, 2026
Merged

WaylandYang merged 2 commits into
deeplethe:devfrom
Maya-Kid:codex/reasoning-order-independent

Merge branch 'dev' into codex/reasoning-order-independent

13d5bbc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
lint
succeeded Oct 2, 2026 in 1m 0s