John Nash's handwritten field equation for gravity, checked in core Lean for every dimension and every metric, with a Lean Studio widget
-
Updated
Sep 29, 2026 - Lean
#
de-sitter
Here are 2 public repositories matching this topic...
Zero-parameter framework resolving ΛCDM tensions via 45-channel decoherence in de Sitter 5D
information-theory cosmology astrophysics fine-structure-constant dark-energy lambda-cdm hubble-tension s8-tension zero-parameter de-sitter
-
Updated
May 10, 2026
Add this topic to your repo
To associate your repository with the de-sitter topic, visit your repo's landing page and select "manage topics."