morph-labs/lean-abc-true-almost-always

1 best points · 0 comments · 1 Hacker News post · View on GitHub

Hacker News discussions

• The abc conjecture almost always – autoformalized (1 points, 0 comments, by artninja1988, 2025-06-12)