latex-proof-formatter
// Format proofs and algorithms in publication-quality LaTeX
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
namelatex-proof-formatter
descriptionFormat proofs and algorithms in publication-quality LaTeX
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
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