Re: Existence of proof verifiers: A comedy

Charlie-Boo schrieb:
I assume you never ran the program.
Not very convincing.

Bye

Yes, because there is nothing obviously to download and execute.

As you told me yourself.

>>> As you can see, it was published as a conference paper and
>>> **you have to type it in** - it's written in the M
>>> programming language (available free on-line.) It includes
>>> a little subroutine that does a check of
>>> your input based on checksums.

Could you provide me a link, so that I dont have to type in something.
.