2 ms·
That is easy. The same way as interactive theorem proving works already today, and for the last 30 years or so. It is the very definition of a proof that you ca
by auggierose 4y ago
That is easy. The same way as interactive theorem proving works already today, and for the last 30 years or so. It is the very definition of a proof that you can check it.