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