Why Do Informal Proofs Conform to Formal Norms?
Distribution of the number of citations over years.