LaTeX Proof Formatter Purpose Provides expert guidance on formatting theoretical CS proofs and algorithms in publication-quality LaTeX. Capabilities - Algorithm pseudocode formatting (algorithmicx) - Inference rule typesetting - Proof environment formatting - Theorem numbering and cross-references - BibTeX integration - Conference style compliance Usage Guidelines 1. Structure : Organize proof structure clearly 2. Algorithms : Format algorithms with algorithmicx 3. Rules : Typeset inference rules with mathpartir 4. References : Manage cross-references properly 5. Style : Conform to conference…