Et nytt GitHub-prosjekt presenterer en formalisert løsning på det matematiske Hopf-problemet, tilgjengelig for gjennomgang av fellesskapet.

Kilde: https://github.com/plby/HopfProblem