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]
13 by amadeuspagel | 2 comments on Hacker News.


May 19, 2023 at 02:50AM amadeuspagel 13 https://ift.tt/q6Q198u Social processes and proofs of theorems and programs (1979) [pdf] 2 https://ift.tt/qUs9hZN