A New Style of Mathematical Proof William M. Farmer 2018 Abstract Mathematical proofs will play a crucial role in building a universal digital mathematics library (UDML). Traditional and formal style proofs do not adequately fulfill all the purposes that mathematical proofs have. We propose a new style of proof that fulfills seven purposes of mathematical proofs. We believe this style of proof is needed to build a highly interconnected UDML. Keywords: Mathematical proof, traditional proof style, formal proof style, universal digital mathematics library, little theories method, theory graphs, flexiformalization, cross checks.