How to write a theory paper
Unreadability is not the same thing as formalism
The reader should understand contributions of the paper without having to read all the details
If some proofs are not too important, relegate them to an appendix
- Proofs are not as worthy as new proof techniques