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.

Das Keiper–Li-Kassenbuch: λ₁, λ₂, λ₃ in Lean 4 zertifiziert | Research | Tobias Weiss

Home
/Content
/Research
/Das Keiper–Li-Kassenbuch: λ₁, λ₂, λ₃ in Lean 4 zertifiziert

Das Keiper–Li-Kassenbuch: λ₁, λ₂, λ₃ in Lean 4 zertifiziert

October 8, 2026·Updated October 8, 2026

ResearchFormal Verification

lean4mathlib4riemann-hypothesiskeiper-li-constantsstieltjes-constantscertification