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
- Structure: Organize proof structure clearly
- Algorithms: Format algorithms with algorithmicx
- Rules: Typeset inference rules with mathpartir
- References: Manage cross-references properly
- Style: Conform to conference/journal style
Tools/Libraries
- LaTeX
- algorithmicx
- mathpartir
- amsthm
- Overleaf