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

1 points | by sunshinePeanut 4 hours ago ago

No comments yet.