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
Save products you love by clicking the heart icon.
We use privacy-friendly analytics (Plausible + Umami) to understand how visitors use this site. No analytics are loaded without your consent. Privacy Policy