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.