New top story on Hacker News: Social processes and proofs of theorems and programs (1979) [pdf]

Social processes and proofs of theorems and programs (1979) [pdf]
14 by amadeuspagel | 2 comments on Hacker News.