Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Lean 4 formalization of Erdős Problem #848 – seeking review
github.com/The-Obstacle-Is-The-Way
1 point
vibecodermcswag
4 months ago
1 comment
Loading...
Lean 4 formalization of Erdős Problem #848 – seeking review | Heykuki News