GitHub - bengoechea/erdosproblems: A community database for the problems on the erdosproblems.com site

Name		Name	Last commit message	Last commit date
Latest commit History 2,257 Commits
.github		.github
data		data
docs		docs
schema		schema
scripts		scripts
.gitignore		.gitignore
CITATIONS.cff		CITATIONS.cff
CONTRIBUTING.md		CONTRIBUTING.md
LICENSE		LICENSE
README.md		README.md
requirements.txt		requirements.txt