mastodon — José A. Alonso — 6 Sep 2026
Erdős problem #501 in Lean 4. ~ Elliot Glazer. https:// github.com/elliotglazer/erdos5 01 # LeanProver # ITP # AI4Math
#formal-verification #interactive-theorem-proving #ai4math
Erdős problem #501 in Lean 4. ~ Elliot Glazer. https:// github.com/elliotglazer/erdos5 01 # LeanProver # ITP # AI4Math