Formalization of Erdős Problems(xenaproject.wordpress.com)7 points by kevinbuzzard 164 days ago | 1 comment