Gravity from Information Geometry: A Lean 4 Formalization of Emergent Spacetime

(academia.edu) by kristintynski | Jan 19, 2026 | 1 comments on HN