Proofs Are Programs: 19th Century Logic and 21st Century ComputingDocumentProofs Are Programs: 19th Century Logic and 21st Century ComputingAdded by chillwithit0 ratings0% found this document usefulSave Proofs Are Programs: 19th Century Logic and 21st Century Computing for later