LaTeX Proof Formatter
SkillDev toolsFormat proofs and algorithms in publication-quality LaTeX
Instructions available. Your AI can read the instructions. Execution depends on the setup they require.
Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.
Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.
Then ask your AI: use the LaTeX Proof Formatter skill
What this skill tells your AI
The instructions your AI receives, as published by a5c-ai/babysitter in library/specializations/domains/science/computer-science/skills/latex-proof-formatter/SKILL.md and read by ahel’s review.
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
Signals
- GitHub stars
- 2k
- Forks
- 112
- Last commit
- Sep 2026
Advanced
- Item type
- skill
- Key
latex-proof-formatter- Source
- github.com/a5c-ai/babysitter