2 ms·

Isabelle was used for the proof of the prime number theorem. The link from the article: http://repository.cmu.edu/cgi/viewcontent.cgi?article=1032&context=phil

by dubya 14y ago

Isabelle was used for the proof of the prime number theorem. The link from the article: http://repository.cmu.edu/cgi/viewcontent.cgi?article=1032&context=philosophy http://repository.cmu.edu/cgi/viewcontent.cgi?article=1032&#...