Skip to content

Make the Erdős 625 manuscript self-contained and verification-safe - #57

Draft
SamPetkov wants to merge 23 commits into
agent/625-ams-manuscript-clarityfrom
agent/625-self-contained-bulletproof-manuscript
Draft

Make the Erdős 625 manuscript self-contained and verification-safe#57
SamPetkov wants to merge 23 commits into
agent/625-ams-manuscript-clarityfrom
agent/625-self-contained-bulletproof-manuscript

Track breakable Lean paths in the appendix checks

13ed9a9
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar