mpmath numerical sanity-checks against published RH-equivalent formulas (Voros, Lagarias, Mertens, Wigner GUE, Hilbert–Pólya).
mpmath