Irrationality of the Riemann zeta function at five

Source: url:https://github.com/mo271/Zeta5/tree/f19a1960609f7d38e7b63fd2acb05e6f60a7b741 Authors: Moritz Firsching Status: verified Main declarations: Zeta5Irrational.irrational_five Tags: irrationality, zeta-function, hankel-determinants, potential-theory, certified-computation MSC: 11J72, 11M06, 31A15