Spectral-Analysis

Full Mathlib Spectral Analysis: Preliminary Findings from Prototype
ProofGraph has completed full Mathlib extraction and spectral analysis prototype. Here are the preliminary findings.
Mar 29, 2026 4 min read