4 ms·
"a computer proof of a theorem can run in to the thousands." For those interested in a small example, look at http://us.metamath.org/mpegif/mmset.html#trivia h
by jk4930 13y ago
"a computer proof of a theorem can run in to the thousands."
For those interested in a small example, look at http://us.metamath.org/mpegif/mmset.html#trivia http://us.metamath.org/mpegif/mmset.html#trivia