Lean 4 formalization of Erdős Problem #848 – seeking reviewgithub.com/The-Obstacle-Is-The-Way1 pointvibecodermcswag5 months ago