Proof pages provide [proof formal proofs] about a statement, but don't motivate or explain them.
https://arbital.com/p/proof_meta_tag
by Eric Bruylant Jul 2 2016
This page is just a proof, rather than a motivated explanation.
Proof pages provide [proof formal proofs] about a statement, but don't motivate or explain them.