Formalization of the Solution to the Hopf Problem
By robinhouston · 2026-08-27 · 11 points · 4 comments
https://github.com/plby/HopfProblem
By robinhouston · 11 points · 4 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews