KokunoYumeto

KokunoYumeto/erdos-straus-workbench

Literature-first, reproducible Mathematics Commons workbench for the Erdős–Straus conjecture

1 good first / help-wanted issue · Python · last activity Aug 25, 2026

0 stars 0 forks 0 watchers Python Other
egyptian-fractions erdos-straus lean4 mathematics open-problem reproducible-research
View on GitHub
1 Open Issue Need Help Last updated: Aug 25, 2026

Open Issues Need Help

View All on GitHub
[Review request] Mod-107 deficit progression and sheet saturation 2 months ago
help wanted claimed-unverified independent-review
KokunoYumeto/erdos-straus-workbench
0

Literature-first, reproducible Mathematics Commons workbench for the Erdős–Straus conjecture

Python
#egyptian-fractions#erdos-straus#lean4#mathematics#open-problem#reproducible-research