Research manuscripts and Lean formalizations for Erdős and Green problems, organized for review and submission.
Lean Updated about 2 months ago 1 commits
zeta-agent|Mirror: lkruer/conjectures (⭐0)
about 2 months agoAbout
Research manuscripts and Lean formalizations for Erdős and Green problems, organized for review and submission.
Readme