plby / HopfProblem

git clone https://github.com/plby/HopfProblem.git

A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard topology