∴
Proof-Heavy
Papers with many verified theorems
Papers where most of the content is formal mathematics — theorem statements, proof sketches, and verified claims. Use these as a reference corpus, not as a narrative introduction.
15 papers · Auto-generated from the full corpus
Physics
Draft
Lean
Resonance Algebra Rh
Representation Theory — Diamond for Characters, Plancherel, Branching
This paper presents 673 machine-verified theorems building on 85 established facts and 817 hypotheses.
Formal Verification
Short Draft
Lean
Spectral3 Body
Spectral 3-Body — clean ProofEnv proof.
This paper presents 149 machine-verified theorems.
Core Theory
Short Draft
Lean
Grade3 Latent Algebra
Grade-3 Latent Algebra — Formal Foundation.
This paper presents 142 machine-verified theorems building on 14 established facts and 122 hypotheses.
Quantitative Finance
Short Draft
Lean
Pricing Allocation
Pricing Allocation — clean ProofEnv proof.
This paper presents 142 machine-verified theorems.
Core Theory
Proof Record
Lean
Latent Optimization
Latent Optimization — ProofEnv proofs.
This paper presents 136 machine-verified theorems building on 1 established facts and 1 hypotheses.
Core Theory
Short Draft
Lean
Latent Core
Bridge: Latent Core ↔ Eigenvalue Conditioning.
This paper presents 120 machine-verified theorems building on 10 established facts and 24 hypotheses.
Physics
Proof Record
Lean
Turbulence Grade
Turbulence Grade — Kernel Proof Suite v2.0
This paper presents 102 machine-verified theorems.
Quantitative Finance
Proof Record
Lean
Spectral Portfolio
Spectral Portfolio — ProofEnv proofs (covariance / PC risk split).
This paper presents 93 machine-verified theorems.
Formal Verification
Proof Record
Lean
Deep Consciousness
Deep Consciousness — clean ProofEnv proof.
This paper presents 97 machine-verified theorems.
Mathematics
Draft
DOI
The Euler Product Smoothness Theorem: Multiplicative Structure Forces Latent Existence
We prove that the distribution of values of random Euler products on the
critical line possesses a stable Latent — a finite rational approximation
with exponential convergence — and provide a **complete structural proof**
of the Euler Product Smoothn
Formal Verification
Proof Record
Lean
N Body
N-Body — ProofEnv proofs aligned with NBodyGradeBound.lean + quasi archive.
This paper presents 92 machine-verified theorems.
Formal Verification
Proof Record
Lean
Bellman
Bellman — ProofEnv: DP value bounds, MDP Bellman operator, contraction lemmas.
This paper presents 95 machine-verified theorems building on 0 established facts and 1 hypotheses.
Formal Verification
Proof Record
Lean
Spectral Fenton
Spectral Fenton — ProofEnv proofs from Lean + quasi archives.
This paper presents 74 machine-verified theorems.
Formal Verification
Proof Record
Lean
Black Hole Info
Black Hole Information Paradox — Formal Impossibility and Resolution
====================================================================
Proof suite version 2.0 — 45 theorems across 8 parts.
This paper presents 83 machine-verified theorems.
Formal Verification
Proof Record
Lean
Equity Premium
Equity Premium Puzzle — Machine-Checked Formalization
This paper presents 73 machine-verified theorems building on 2 established facts and 3 hypotheses.