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