· ~21 min read
Lean 4 Formalization: Cayley Graphs, Peter-Weyl, and Hecke Operators
This document reports on formalizing connections between finite Cayley graph spectral theory and modular forms in Lean 4. The session focused on inte
Back openDesk Edu for a sovereign, open-source education — every vote counts.
Vote nowSave products you love by clicking the heart icon.