I have given a talk on my proposed research project “Multidimensional Flexible Proof Representation” in the context of an FWF ASTRA application. The project explores how mathematical proofs across different levels of abstraction—from informal sketches to formal proof terms—can be systematically connected and represented. We hypothesize that structurally similar proofs align more closely at deeper, more formal levels, and that merging such variants results in a multidimensional structure. Our goal is to develop methods for representing, classifying, and interpreting these structures to enhance understanding. This approach will enable cross-system comparisons, provide new insights into proof theory and proof interpretations, and support the structural and semantic classification of proof components.