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