proof-structure-analyzer

Analyze and restructure mathematical proofs to improve clarity and completeness.