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