Manifold
Collaborative research writing where theorems, lemmas, and proofs become first-class objects — with native math discussion, citations, and LaTeX compilation.
Object threads
Every theorem gets its own persistent discussion with math rendering.
LaTeX + PDF
Edit, compile in Docker sandbox, preview PDF side-by-side.
Citations & refs
Track BibTeX usage, cross-references, and dependency graphs.