How much of mathematics is unwritten? I keep hearing about "folk theorems" and proofs that supposedly just sit in the heads of mathematicians. How…