The intent of this set of pages is to illustrate the role of the Physics Derivation Graph in a formalization workflow.
To summarize, there is a sequence of increasing nuance from text to Latex expressions to a Computer Algebra System to proofs.
The four main aspects get broken into additional components, and there is tagging of words and sections.

Mathematical proofs (item 12) and semantic enrichment (items 4, 5, 6) both play a role in formalization of Physics.
There is a third aspect addressed by the Physics Derivation Graph (items 7 through 11).

The examples provided are visual rather than implementations of specific methods.