In case someone is searching for the computational part of the proof, its on Git...

		ashvardanian 50 days ago \| parent \| context \| favorite \| on: First convex polyhedron found that can't pass thro... In case someone is searching for the computational part of the proof, its on GitHub, implemented using SageMath: https://github.com/Jakob256/Rupert