Operator-theoretic analysis of Weil’s quadratic form: spectral screening, support filtrations, defect morphology, and Lean verification.
Lean Updated 6 days ago 1 commits
omega-coder|Mirror: monocap-tech/weil-lab (⭐0)
6 days agoAbout
Operator-theoretic analysis of Weil’s quadratic form: spectral screening, support filtrations, defect morphology, and Lean verification.
Readme