spectral-geometry

Here are 3 public repositories matching this topic...

JasonShroyer / sgc-lean

A formally verified Lean 4 library characterizing the algebraic structure of metastability and consolidation in stochastic systems.

markov-chains formal-verification free-energy-principle lean4 assembly-theory stochastic-thermodynamics spectral-geometry

Updated Jan 8, 2026
Lean

merchantmoh-debug / ARK-P-neq-NP-Formalization

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 7, 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

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