A professor verifies a theorem with a pair of 'formal proof assistants'—that is, pieces of software.
WSJ.com: Books, Wall Street Journal: Books
Fri, 08/29/2014 - 11:25am
A professor verifies a theorem with a pair of 'formal proof assistants'—that is, pieces of software.