Content Creation & Writing

LaTeX Proof Formatter

Format proofs and algorithms in publication-quality LaTeX

Publisher / source
a5c-ai/babysitter (found on GitHub top repositories)
Upstream record
a5c-ai/babysitter
Version
Version 1
Published
Publication review
Approved for publication · recorded passed scan 2026-11-08
Content fingerprint
f5cf4ea917fab7c00abe1c57933913bbad5bec176b461dc6638fc538394e55a7