Social Processes and Proofs of Theorems and Programs (1979)
By lioeters · 2026-08-17 · 4 points · 0 comments
https://dl.acm.org/doi/10.1145/359104.359106
By lioeters · 4 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews