Ask HN: Lean4 code for Modularity of elliptic curves ... ?

1 pointby sunshinePeanut7 hours ago