· ~20 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
Save products you love by clicking the heart icon.
We use privacy-friendly analytics to understand how visitors use this site. No cookies are set by default. Privacy Policy