Ask HN: 타원 곡선의 모듈러성에 관한 Lean4 코드 ...?Ask HN: Lean4 code for Modularity of elliptic curves ... ?▲ 1 · news.ycombinator.com · 9일 전 · 1 댓글원문 보기 → HN에서 보기 →원문 요약원문을 요약하고 있습니다…