Repository navigation

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

Complete transitive chains when their right-hand premise arrives later#1051
WaylandYang merged 2 commits into
deeplethe:devfrom
Maya-Kid:codex/reasoning-order-independent

Commits on Oct 2, 2026
- Complete transitive chains when their right-hand premise arrives later
  Maya-Kid
  committed
  55a0d6d
- Merge branch 'dev' into codex/reasoning-order-independent
  WaylandYang
  authored
  13d5bbc