A Formal Proof of the Irrationality of ζ(3)arxiv.org1 point·infruset··0 commentsOpen articleSaveView on HN