The-Obstacle-Is-The-Way/erdos-banger

CLI toolkit for Erdős problem research: literature ingestion, RAG search, and Lean 4 formalization

1 best points · 1 comments · 1 Hacker News post · 6 GitHub stars · View on GitHub

Hacker News discussions

• Lean 4 formalization of Erdős Problem #848 – seeking review (1 points, 1 comments, by vibecodermcswag, 2026-01-28)