Comment by mikhailfranco

2 years ago

The canonical paper on this was written by De Millo, et al., but it has a rather ungrammatical and incomprehensible title that does it no favors. However, the al. include Lipton and Perlis, so listen up...

Social Processes and Proofs of Theorems and Programs