Formalization of the Solution to the Hopf Problem
https://github.com/plby/HopfProblem
Comments: https://news.ycombinator.com/item?id=49467053
#HackerNews #Formalization #HopfProblem #Mathematics #Research #GitHub #Solutions
No replies yet
Be the first to share your thoughts.
