Aristotle from HarmonicMath has solved Erdős Problem 124 in LEANhttps://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/ by unprovable • 8 months ago 1 0 8 months agoXExenaproject.wordpress.com