Lean4 code for Modularity of elliptic curves over imaginary quadratic fields?

by sunshinePeanut | Oct 26, 2026 | 0 comments on HN