#

self-adjoint-operators

Here is 1 public repository matching this topic...

AEjonanonymous / Riemann-Minimal-Entropy-Collapse

A Topological Proof by Contradiction of Non-Trivial Zeros via Spectral Rigidity in Lean 4 & Comparator.

topology geometry formal-verification comparator stereographic-projection mathlib riemann-hypothesis analytic-number-theory lean4 non-trivial-zeros proof-by-contradiction spectral-theory ai-assisted-research self-adjoint-operators millennium-prize-problem topological-equivalence projective-real-line minimal-geometric-entropy spectral-rigidity

Updated Sep 25, 2026
Lean

Add this topic to your repo

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