latex-proof-formatter

# 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/journal style ## Tools/Libraries - LaTeX - algorithmicx - mathpartir - amsthm - Overleaf