Skip to content

Stop the same proof miss in Claude, Cursor, and Codex. - #1323

Merged
mergify[bot] merged 2 commits into
mainfrom
stack/EdbertChan/reflect/same-repro-20261010/stop-same-proof-miss-claude-cursor-codex--a24f6a11
Oct 12, 2026
Merged

Stop the same proof miss in Claude, Cursor, and Codex.#1323
mergify[bot] merged 2 commits into
mainfrom
stack/EdbertChan/reflect/same-repro-20261010/stop-same-proof-miss-claude-cursor-codex--a24f6a11

invoker: wf-1791746852610-7/repair — Rebase PR #1323 onto main

4bf00fb
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar