How Computer Scientists Learned to Reinvent Proofs
If a million computer scientists had dinner together, they would get a huge bill. If one of them is particularly frugal and wants to check that the bill is correct, the verification process is simple but tedious: they have to check the bill, adding up all the individual prices line by line, making sure the […]
How Computer Scientists Learned to Reinvent Proofs Read More »