Proofs Are Programs: 19th Century Logic and 21st Century Computing [pdf]homepages.inf.ed.ac.uk4 points·cscurmudgeon··0 commentsOpen articleSaveView on HN