latex-proof-formatter

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