Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN

1 pointsposted 2 months ago
by unprovable
(xenaproject.wordpress.com)

No comments yet