Omega Theory of discrete spacetime on Z4
theorem-proving spacetime cosmology time-travel theoretical-physics formal-verification general-relativity wormholes quantum-gravity interstellar black-holes proof-assistants lean4 planck-scale omega-theory
-
Updated
Apr 20, 2026 - Lean