A community database for the problems on the erdosproblems.com site - View it on GitHub