Nick_Tarleton comments on Demands for Particular Proof: Appendices

[Nick_Tarleton]

I think at least most at SIAI do better. (I also think that attitude intuitively seems more common to me than it really is, simply because it annoys me so much.)