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