Proof Catalog

Machine-verified mathematical results. Each entry below is a formal proof record: a collection of theorems checked by the Lean 4 proof assistant. The proof IS the paper.

82
Proof Records
2,361
Verified Theorems
0
sorry
Integer Basics: Foundational Properties of Integer Arithmetic
Verified Formal Verification 12 theorems
Grn Dynamics
Verified Formal Verification 39 theorems
Molecular Self Replication
Verified Formal Verification
Neuro Manifold
Verified Mathematics 39 theorems
Wright Fisher
Verified Formal Verification 10 theorems
American Basket Gym
Verified Formal Verification 60 theorems
American Exercise
Verified Formal Verification
Bayes Decision
Verified Formal Verification 51 theorems
Bayesian Risk
Verified Formal Verification 49 theorems
Bellman
Verified Formal Verification 76 theorems
Correlated Cos V2
Verified Formal Verification 24 theorems
Credit Portfolio Loss
Verified Quantitative Finance 32 theorems
Elicitability
Verified Formal Verification 33 theorems
Elicitability Coherence
Verified Formal Verification
Equity Premium
Verified Formal Verification 66 theorems
Fenton Copula
Verified Formal Verification 20 theorems
Financial Contagion
Verified Formal Verification 52 theorems
Ftap Uncertainty
Verified Formal Verification 35 theorems
Harvestability Derivation
Verified Formal Verification 51 theorems
Harvestability Extensions
Verified Formal Verification 19 theorems
Model Free Bounds
Verified Formal Verification 33 theorems
Nsco Sv2
Verified Formal Verification
Nsco Sv3 Smile
Verified Formal Verification 62 theorems
Optimal Execution
Verified Formal Verification 38 theorems
Spectral Fenton
Verified Formal Verification 71 theorems
Spectral Portfolio
Verified Quantitative Finance 91 theorems
Stochastic Portfolio Theory
Verified Quantitative Finance
Vol Surface Arb Free
Verified Formal Verification
Bridge Methodology
Verified Formal Verification 16 theorems
Concrete Applications
Verified Formal Verification 19 theorems
Constraint Lifecycle
Verified Formal Verification 52 theorems
Grade Method
Verified Formal Verification 59 theorems
Kessler Threshold
Verified Formal Verification
Latent Optimization
Verified Core Theory 120 theorems
Mollification
Verified Formal Verification 35 theorems
Monodromy Grade
Verified Formal Verification
Nash Boltzmann Bridge
Verified Formal Verification 57 theorems
Resonance Simultaneous
Verified Formal Verification 14 theorems
Rmt Latent Bridge
Verified Core Theory 16 theorems
Spec Category
Verified Formal Verification 37 theorems
Spectral Optimization
Verified Formal Verification 63 theorems
Stochastic Calculus
Verified Formal Verification 13 theorems
Computational Instances
Verified Formal Verification 11 theorems
P Vs Np
Verified Formal Verification
Ai Safety Chain
Verified Formal Verification 11 theorems
Deep Consciousness
Verified Formal Verification 91 theorems
Spectral Overfitting
Verified Formal Verification 47 theorems
Explicit Formula Bridge
Verified Formal Verification 63 theorems
Fejer Smoothing
Verified Formal Verification 27 theorems
Gue Rh Gap
Verified Formal Verification 23 theorems
Pade Resummation
Verified Formal Verification 38 theorems
Prime Number Theorem
Verified Mathematics 32 theorems
Proof Complexity Rho
Verified Formal Verification 39 theorems
Resonance Goldbach
Verified Formal Verification 15 theorems
Resonance Selberg
Verified Formal Verification 32 theorems
Black Hole Info
Verified Formal Verification 69 theorems
Cosmic Censorship
Verified Formal Verification 44 theorems
Cosmic Inflation
Verified Formal Verification 42 theorems
N Body
Verified Formal Verification 82 theorems
Neutron Star Postmerger
Verified Formal Verification 14 theorems
Poincare Conjecture
Verified Formal Verification 17 theorems
Qnm Ringdown
Verified Formal Verification 32 theorems
Sir Epidemic
Verified Formal Verification
Turbulence Grade
Verified Physics 95 theorems
Uv Ir Duality
Verified Formal Verification 28 theorems
The Cauchy-Schwarz Inequality for 2D Real Vectors via Sum-of-Squares Decomposition
Verified Formal Verification 4 theorems
Absolute Value Multiplicativity and Elementary Natural Number Arithmetic
Verified Formal Verification 8 theorems
Divisibility of Consecutive Products
Verified number_theory 4 theorems
Dark Matter: Formal Verification of Observational Evidence and Theoretical Constraints
Verified dark_matter 15 theorems
Imported Infrastructure — Strip and Bound Arithmetic for Analytic Function Theory
Verified Formal Verification
Meta Pvsnp Platonic — TRANSITION CHECKLIST
Verified Formal Verification 1 theorems
The Convolution Convergence Theorem: A Direct Conditional Proof of Goldbach's Conjecture
Verified number_theory 1 theorems
Lean Zulip — Community Guidelines & Posting Strategy
Verified Formal Verification
Draft Message to Nicolas Cerrajero
Verified Quantitative Finance
Humanize + Tamás Style — phy_knds_kappa_ordering_vieta/paper.md
Verified Formal Verification
Formally Verified Black Hole QNM Theory: Machine-Checked Proofs for Spectral Sufficiency
Verified Formal Verification
Phy Smale6 — email draft 20260423 albouy
Verified Physics
arXiv Abstract — Yang-Mills Existence and Mass Gap
Verified Mathematics
Cover Letter — Clay Millennium Prize Submission: Yang-Mills Existence and Mass Gap
Verified Formal Verification
Phy Yang Mills Mass Gap — explanation
Verified Research Methodology
Propositional Logic Combinators: Machine-Verified Proofs in the Platonic Kernel
Verified Formal Verification 9 theorems
Universal Foundations: A Verified Library of Core Mathematical Lemmas
Verified foundations 3 theorems