Top New Trends Comments Past Ask Show Jobs

Aristotle from HarmonicMath has solved Erdős Problem 124 in LEAN(xenaproject.wordpress.com)

1 points·by unprovable·7개월 전·0 comments

xenaproject.wordpress.com

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

https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/

0 comments

—

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