The appendix page should contain the following sections: - **Proofs**: The documentation should be self-contained, that is, not rely on external references for proofs of the formulation. - **Notation**: List of notation with references to the implementations in the code.