July 15, 2026· ~22 min readLean 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
July 11, 2026· ~5 min readCayley Graphs: Visualizing Algebraic Structure Cayley graphs bridge abstract algebra and visual representation — they turn groups into graphs, revealing structure through geometry. This article ex