The Perpetual Engine of Euclid: A Machine-Verified Reading of the Great Conjectures through a Single Axiom - arXiv candidate 2
Immutable
release. Only release title and notes can be modified.
EPMI the second ArXiv candidate version (prose finalization).