See https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/ https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog pos

See https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/ https://xenaproject.wordpress.com/2025/12/05/formalization-o... for a blog post about that.