Dark Matter: Formal Verification of Observational Evidence and Theoretical Constraints
We present a formally verified treatment of dark matter physics, covering both
observational evidence and theoretical constraints. The Platonic proof system
verifies 15 theorems spanning rotation curve anomalies, cluster dynamics,
cosmological parameters, particle physics bounds, and alternative gravity
transitions.
Verified
15 claims
1,312 words