|
|
|
|
|
|
by mikhailfranco
964 days 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 https://dl.acm.org/doi/pdf/10.1145/359104.359106 [pdf] |
|
|