[HN Gopher] Social processes and proofs of theorems and programs...
       ___________________________________________________________________
        
       Social processes and proofs of theorems and programs (1979) [pdf]
        
       Author : amadeuspagel
       Score  : 5 points
       Date   : 2023-05-18 19:50 UTC (3 hours ago)
        
 (HTM) web link (www.cs.umd.edu)
 (TXT) w3m dump (www.cs.umd.edu)
        
       | dang wrote:
       | Related:
       | 
       |  _Social Processes and Proofs of Theorems and Programs (1979)
       | [pdf]_ - https://news.ycombinator.com/item?id=16421444 - Feb 2018
       | (1 comment)
        
       ___________________________________________________________________
       (page generated 2023-05-18 23:02 UTC)