All International News

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


New top story on Hacker News: Social processes and proofs of theorems and programs (1979) [pdf] https://ift.tt/I9eW7hf

Post a Comment

0 Comments