---

name: latex-proof-formatter description: Format proofs and algorithms in publication-quality LaTeX allowed-tools:

• Bash
• Read
• Write
• Edit
• Glob
• Grep metadata: specialization: computer-science domain: science category: research-documentation phase: 6 graph: domains: [domain:computer-science] specializations: [specialization:theoretical-computer-science] skillAreas: [skill-area:graph-algorithms, skill-area:mathematical-reasoning, skill-area:language-design] workflows: [workflow:research-grant-lifecycle] roles: [role:research-engineer, role:research-scientist]

---

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