Text this: A Formal Proof of the Irrationality of $zeta(3)$