Quoted By:
That program you cite is difficult because the spacing is irregular and you even if your found a formula for the spacing along the critical line, you would have to prove there don't also exist other zeros off the critical line, which is the main question. Also, since RH is false it would be impossible to prove.
