GitHub repository: oliver-butterley/SpectralThm
Primary language: Lean
Created: 2025-02-14T10:27:19Z
Description: Ongoing project to formalise The Spectral Theorem in Lean prover