Hackernews
new
show
ask
jobs
Social Processes and Proofs of Theorems and Programs (1979)
5 points
posted 11 hours ago
by lioeters
(dl.acm.org)
No comments yet