שליחת רשומה: A Formal Proof of the Irrationality of $\zeta(3)$