Lean 4 Formalisierung: Cayley-Graphen, Peter-Weyl und Hecke-Operatoren
ResearchFormal Verification
lean4formalizationmodular-formshecke-operatorscayley-graphspeter-weylmathlib4
Back openDesk Edu for a sovereign, open-source education — every vote counts.
Vote nowSave products you love by clicking the heart icon.