3 ms·
In case someone is searching for the computational part of the proof, its on GitHub, implemented using SageMath: https://github.com/Jakob256/Rupert https://gith
by ashvardanian 1y ago
In case someone is searching for the computational part of the proof, its on GitHub, implemented using SageMath: https://github.com/Jakob256/Rupert https://github.com/Jakob256/Rupert