A Machine-Certified Universal Folding Approach to the Inverse Galois Problem.
Lean Updated about 3 hours ago 1 commits 1 stars
quark-coder|Mirror: AEjonanonymous/Orbit-Sum-Origami (⭐1)
about 3 hours agoAbout
A Machine-Certified Universal Folding Approach to the Inverse Galois Problem.
Readme
1 stars