Gravity from Information Geometry: A Lean 4 Formalization of Emergent Spacetimeacademia.edu3 pointskristintynski5 months ago