Hacker News

Hacker News

Ask HN: Lean4 code for Modularity of elliptic curves ... ?
1 points by sunshinePeanut • 1 comment •                         
1 points by workhitesh • 1 comment •                         
1 points by ermoluk • 2 comments •                         
1 points by joshua_dyson •                         
2 points by nxvalue •                         
2 points by dingdong2026 •                         
1 points by davvid • 2 comments •                         
1 points by MvikVela •                         
1 points by vivek_sg •                         
1 points by rsalianto • 1 comment •                         
5 points by geuis • 5 comments •                         
1 points by skwasimin •                         
1 points by is-is-odd • 5 comments •                         
32 points by olalonde • 17 comments •                         
1 points by cccxccccxcccxxx •                         
3 points by tobwen • 1 comment •                         
8 points by easterncalculus • 7 comments •                         
2 points by DrMoris • 5 comments •                         
1 points by rohansrma • 11 comments •                         
2 points by julienreszka • 3 comments •