TY  - RPRT
TI  - A Formal Proof of the Irrationality of $ζ(3)$
AU  - Assia Mahboubi
AU  - Thomas Sibut-Pinote
PY  - 2021
DO  - 10.23638/lmcs-17(1:16)2021
UR  - https://arxiv.org/abs/1912.06611
ID  - 1912.06611
ER  -