No zeros of $\zeta$ with $\tfrac12<\operatorname{Re} s<1$ and $14<\operatorname{Im} s\le 100$

Initializing...

No zeros of $\zeta$ with $\tfrac12<\operatorname{Re} s<1$ and $14<\operatorname{Im} s\le 100$ · Prove2Me