LaTeX Proof Formatter
Format proofs and algorithms in publication-quality LaTeX
950,302 AI resources indexedWorking toward the world’s largest AI resource index.
Reusable instructions for compatible AI agents.
Counts cover every published resource in this section. A resource can belong to several fields and platforms.
Format proofs and algorithms in publication-quality LaTeX
Sync and manage Overleaf LaTeX projects from the command line. Pull projects locally, push changes back, compile PDFs, and download compile outputs like .bbl files for arXiv submissions. Use when working with LaTeX, Overleaf, academic papers, or arXiv.
Curated tools and techniques for scientific writing beyond LaTeX
LaTeX-based academic writing assistant for thesis and paper templates
Organize messy conference LaTeX template .zip files into clean Overleaf-ready structure. Use when the user asks to "organize LaTeX template", "clean up .zip template", or "prepare Overleaf submission template".
Guide to collaborative LaTeX editing with Overleaf
Two-way sync between a local paper directory and an Overleaf project, so ARIS audit/edit workflows stay on the local copy while collaborators edit in the Overleaf web UI. Use when user says \"同步 overleaf\", \"overleaf sync\", \"推送到 overleaf\", \"connect overleaf\", \"Overleaf 桥接\", \"pull overlea...
Sync and manage Overleaf LaTeX projects from the command line
Try a broader search or clear some filters.
Platform labels describe intended use. Read each resource's author credits, requirements and available access methods.