· ~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
Save products you love by clicking the heart icon.