The Overleaf workflow, on your own machine.
An editor, a PDF that updates as you write, and a click on the PDF to jump to the source. Projects are plain folders with git history. No account, no upload.
Version 0.1.0-beta.2 · 13 October 2026 · Beta
Lemmata is a desktop app for Linux, macOS and Windows. Open this page on your computer to download it.
small proven steps toward a theorem.
Write, see the page, fix what's wrong.
The PDF follows your writing
Lemmata saves and builds shortly after you stop typing. The preview keeps its place across rebuilds. Double-click the PDF to jump to the source line, or press Ctrl+J to find the current line in the PDF.
Know what broke and how to fix it
The build log becomes a short list of problems with file, line and a suggested fix. If a package is missing, Lemmata shows the exact command that installs it on your system.
Cite by DOI, arXiv ID or Zotero
Search your .bib files from the citation picker. Paste a DOI or arXiv ID to add a new reference with a readable key, or cite straight from Zotero through Better BibTeX.
History you can't lose
Snapshots are taken while you work and whenever you name one. Compare any version with today's and restore it. A restore snapshots the current state first, so it can always be undone. Your own git branches are never touched.
Your files stay yours. Projects are ordinary folders on your disk, and documents build with the TeX installation on your computer. Looking up a DOI or arXiv ID is the only time Lemmata goes online for references.
Three steps to your first PDF
Lemmata builds documents with TeX Live, or MiKTeX on Windows. If you don't have it yet, the app finds that out on first launch and shows the install command for your system.
Install Lemmata
Pick the file for your system on the download page, or use your package manager.
Install TeX
Lemmata checks for TeX and shows the command if it's missing. The same instructions are on Installing TeX.
Start writing
Start from a template (article, thesis, slides, CV or letter), open an existing folder, or import an Overleaf project.