Open Issues Need Help
View All on GitHub [Review request] Mod-107 deficit progression and sheet saturation about 2 hours ago
help wanted claimed-unverified independent-review
Literature-first, reproducible Mathematics Commons workbench for the Erdős–Straus conjecture
Python
#egyptian-fractions#erdos-straus#lean4#mathematics#open-problem#reproducible-research