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

1 points | by sunshinePeanut 5 hours ago