teorth / erdosproblems
git clone https://github.com/teorth/erdosproblems.git
A community database for the problems on the erdosproblems.com site
+0
stars, 24h · #45,353
+~0
stars, 7 days · #45,427
+~0
stars, 30 days · #45,565
874
★ total
127
forks · 30 open issues
Star history (as recorded here)
LanguagePython
LicenseApache-2.0
Created2025-08-31 (1y ago)
Last push1d ago
OwnerUser