▲ 4 pointsSocial Processes and Proofs of Theorems and Programs (1979)dl.acm.orgby lioeters·4h ago·0 comments·view on hn ↗