Skip to content

Audit the full Erdős 625 proof stack and isolate reusable results - #39

Draft
SamPetkov wants to merge 76 commits into
agent/625-section8-all-deficit-amgmfrom
agent/625-full-proof-audit-frontier
Draft

Audit the full Erdős 625 proof stack and isolate reusable results#39
SamPetkov wants to merge 76 commits into
agent/625-section8-all-deficit-amgmfrom
agent/625-full-proof-audit-frontier

Normalize the matching-restriction focused Lean gate

ff70aa8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar