Social Processes and Proofs of Theorems and Programs (1979)dl.acm.org5 points·lioeters··0 commentsOpen articleSaveView on HN