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