Lean 4 formalization of Erdős Problem #848 – seeking review
vibecodermcswag Wednesday, January 28, 2026
1
1
github.com
Story