Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Gravity from Information Geometry: A Lean 4 Formalization of Emergent Spacetime
academia.edu
3 points
kristintynski
5 months ago
5 comments
Loading...
Gravity from Information Geometry: A Lean 4 Formalization of Emergent Spacetime | Heykuki News