oliver-butterleySpectralThm

Ongoing project to formalise The Spectral Theorem in Lean prover
Sort by
  1. Git dependency.
    Found on Reservoir.

    checkdeclslean4.18.0

    Tiny Lean library to check existence of declarations
  2. Git dependency.
    Found on Reservoir.

    mathlib8d6de37

    The math library of Lean 4