spectral-geometry

Here are 4 public repositories matching this topic...

JasonShroyer / sgc-lean

Lean 4 library characterizing the algebraic structure of metastability and consolidation in stochastic systems

complex-systems markov-chains quantum-information formal-verification topological-data-analysis free-energy-principle information-geometry lean4 mechanistic-interpretability assembly-theory stochastic-thermodynamics spectral-geometry

Updated Feb 1, 2026
Lean

merchantmoh-debug / -P-NP-Formal-verfication-in-Lean-4

Star

Formal verification of the logical incompatibility between the P=NP hypothesis and the Witten-Helffer-Sjöstrand tunneling theorems in spectral geometry. Implemented in Lean 4.

formal-verification p-vs-np lean4 mathlib4 spectral-geometry witten-laplacian

Updated Jan 31, 2026
Lean

ratwolfzero / Universe

Star

The Golomb Universe

spacetime category-theory emergent modal-logic causal-sets distinction dimensionality information-geometry spectral-geometry combinatorial-physics

Updated Aug 25, 2025
Python

Cosmochrony / spectral-paper

Star

Emergent Metricity from Spectral Connectivity

spectral-dimension spectral-geometry relational-dynamics emergent-spacetime pre-geometric-substrate emergent-metric

Updated Jan 31, 2026
TeX

Improve this page

Add a description, image, and links to the spectral-geometry topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the spectral-geometry topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

spectral-geometry

Here are 4 public repositories matching this topic...

JasonShroyer / sgc-lean

merchantmoh-debug / -P-NP-Formal-verfication-in-Lean-4

ratwolfzero / Universe

Cosmochrony / spectral-paper

Improve this page

Add this topic to your repo