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.

Lean 4 Formalisierung: Cayley-Graphen, Peter-Weyl und Hecke-Operatoren | Research | Tobias Weiss

Home
/Content
/Research
/Lean 4 Formalisierung: Cayley-Graphen, Peter-Weyl und Hecke-Operatoren

Lean 4 Formalisierung: Cayley-Graphen, Peter-Weyl und Hecke-Operatoren

July 15, 2026

ResearchFormal Verification

lean4formalizationmodular-formshecke-operatorscayley-graphspeter-weylmathlib4