This repository contains a modular Python toolkit for studying the Riemann-Zeta function on the critical line and certifying its non-trivial zeros.

Reference implementation for recurrence-accelerated high-precision Jacobi theta constants and Gaussian theta-series with tail certification.