[일반] 리만가설 lean4로 조건부 증명함

[익명(58.140)]

현재 수학 공리 ZFC로는 못푸는 문제임

Nuclearity 도입하면 풀림

Repo에 올리고 lean 커뮤니티에도 올림

[흑화뉴비(coderhs)]

글 내용이 없네 수학 갤러리로 - dc App

[익명(110.76)]

링크