G github.com Formalization of the Solution to the Hopf Problem 22 points robinhouston 2 months ago 14 comments
