The Perpetual Engine of Euclid: A Machine-Verified Reading of the Great Conjectures through a Single Axiom
Immutable
release. Only release title and notes can be modified.
EPMI First version ready for publishing!