mathematical-writing

Here are 3 public repositories matching this topic...

glenzli / math-workspace

Local workspace for long-form mathematical writing, structural review, Lean alignment, and Codex collaboration ｜面向长篇数学写作、结构审阅、Lean 对齐与 Codex 协作的本地工作空间

markdown cli latex mcp dependency-graph notation theorem-proving mathematics formal-methods formalization knowledge-management codex local-first lean4 ai-assisted-writing mathematical-writing

Updated Aug 5, 2026
TypeScript

math-audit-lab / math-audit

Star

AI-assisted desktop app for auditing mathematical manuscripts, detecting proof issues, and generating reports.

pdf latex math mathematics proof-checking llm-tools referee-tools ai-for-mathematics mathematical-writing

Updated Aug 5, 2026
Python

TianhuaGao / math-prose

Star

Precise, varied mathematical prose for research writing, with formula and claim-strength preservation.

latex academic-writing codex-skill mathematical-writing

Updated Jul 23, 2026
Python

Improve this page

Add a description, image, and links to the mathematical-writing topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the mathematical-writing topic, visit your repo's landing page and select "manage topics."

Learn more