Skip to main content

tobias-weiss.org

Home Content Consulting

tobias-weiss.org

Projects

openEduSuiteOffice suite for education KI-KompetenzEU AI Act AI literacy training graphwiz.aiAI & Graph content Contextual IntelligenceAI research project Chemie-LernenChemistry learning platform

Connect

RSS Feed

Supporters Consulting Guides Terms Privacy Imprint AI Statement Open Source Statement

© 2026 Tobias Weiss IT-Services. All rights reserved.

The Keiper–Li Ledger: λ₁, λ₂, λ₃ Certified in Lean 4 | Research | Tobias Weiss

Home
/Content
/Research
/The Keiper–Li Ledger: λ₁, λ₂, λ₃ Certified in Lean 4

The Keiper–Li Ledger: λ₁, λ₂, λ₃ Certified in Lean 4

October 8, 2026·Updated October 8, 2026

ResearchFormal Verification

lean4mathlib4riemann-hypothesiskeiper-li-constantsstieltjes-constantscertification