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]
15 by amadeuspagel | 2 comments on Hacker News.
15 by amadeuspagel | 2 comments on Hacker News.
New top story on Hacker News: Social processes and proofs of theorems and programs (1979) [pdf]
![]()
Reviewed by Unknown
on
11:13
Rating:
No comments: