3 ms·Proofs Are Programs: 19th Century Logic and 21st Century Computing [pdf]4 points by cscurmudgeon 7y ago