▲ 1 pointsThe abc conjecture almost always – autoformalizedgithub.comby artninja1988·1y ago·0 comments·view on hn ↗