News for hackers. Stuff that matters.

A comment on How I learned to love and fear the Riemann Hypothesis. Parent comment

Re:How I learned to love and fear the Riemann Hypothesis by whatshisface on Wednesday January 06, 2021 @12:35AM (#25654927)
We have automated proof checkers like CoQ. A proof machine would be designed to output proofs in a syntax that could be mechanically checked by an existing verifier.
[ Parent | on HN ]

There are no comments on this comment yet.