A academia.edu Gravity from Information Geometry: A Lean 4 Formalization of Emergent Spacetime 3 points kristintynski 9 months ago 5 comments
