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