Theorem Workspace | Rigor — Mathematical Knowledge Graph & Proof
A dark academic workspace for mathematicians to organize definitions, lemmas, theorems, proofs, and dependencies with LaTeX support and an interactive graph.
Live demo
🔒 Read-only preview — source is not copyable. Preview responsive behavior with the device toggle.
About Theorem Workspace | Rigor — Mathematical Knowledge Graph & Proof
Rigor is a specialized mathematical knowledge graph and proof engineering console designed for researchers, educators, and students who demand precision and structure in their work. Unlike generic note-taking apps, Rigor treats mathematical knowledge as interconnected entities: definitions, lemmas, theorems, proofs, examples, and bibliography entries are all first-class objects with explicit dependencies. This allows you to visualize the logical structure of your mathematical world in an interactive dependency graph, ensuring that every result is built on a solid foundation.
The workspace features a full LaTeX editor with a symbol palette, real-time preview, and support for export to Markdown or LaTeX. You can easily insert mathematical symbols, create complex formulas, and maintain a clean, distraction-free writing environment. The dark academic theme is both aesthetically pleasing and easy on the eyes during long research sessions.
Rigor is fully offline and stores your data in your browser's IndexedDB, meaning your work is private and always available, even without an internet connection. The single-file architecture makes it easy to back up or transfer your entire knowledge base. Whether you're proving a new theorem, preparing lecture notes, or studying for an exam, Rigor provides the structure and tools you need to think clearly and work efficiently.
Key capabilities include: a knowledge graph that maps dependencies between definitions and theorems, proof status tracking (proved, unproved, conjectured), an integrated bibliography manager, and a powerful search that indexes all content. You can quickly navigate from a theorem to its proof, from a lemma to its dependent theorems, and from an example to the concept it illustrates. This interconnectedness is what sets Rigor apart from traditional document editors.
For researchers, Rigor acts as a personal mathematical database, helping you keep track of the ever-growing web of results in your field. For educators, it's a powerful tool for structuring course content and showing students how concepts build on one another. For students, it's an invaluable study aid that makes the relationships between ideas explicit. With its export functionality, you can easily share your work in LaTeX or Markdown formats, integrate with other tools, or publish your notes.
Rigor's interface is intuitive yet powerful, featuring a sidebar for navigation, a global search, and a command palette for quick actions. The dashboard provides an at-a-glance overview of your knowledge base with KPIs and charts, while the dependency graph offers a visual representation of your mathematical universe. Whether you're working on a single proof or a multi-chapter treatise, Rigor scales to your needs.
Key features
- ✦ Interactive dependency graph visualizing connections between definitions, lemmas, theorems, and proofs
- ✦ Full LaTeX editor with symbol palette and live preview
- ✦ Proof status tracking (proved, unproved, conjectured)
- ✦ Offline-first with IndexedDB storage, no cloud required
- ✦ Export to Markdown and LaTeX
- ✦ Global search with keyboard shortcut (Ctrl+K)
- ✦ Command palette for quick actions
- ✦ Bibliography management integrated with the knowledge graph
Use cases
- → Research mathematicians organizing their work and tracking proof progress
- → Graduate students building a personal knowledge base for their studies
- → Professors preparing lecture notes that clearly show logical dependencies
- → Technical writers creating structured mathematical documents
- → Anyone working on formal proofs who needs to manage complex dependencies
- → Collaborative projects where a shared knowledge graph is needed (via exported files)
FAQ
Is Rigor available offline?
Yes, Rigor is fully offline. All data is stored in your browser's IndexedDB, so you can work without an internet connection.
Can I export my work from Rigor?
Absolutely. You can export the entire workspace or individual items to Markdown or LaTeX, making it easy to share or integrate with other tools.
Does Rigor support LaTeX?
Yes, Rigor includes a full LaTeX editor with a symbol palette and real-time preview. You can write complex mathematical notation with ease.
What is the dependency graph?
The dependency graph is an interactive visualization that shows how definitions, lemmas, theorems, and proofs are interconnected. It helps you understand the logical structure of your mathematical work.
Can I track the status of my proofs?
Yes, you can mark each theorem as proved, unproved, or conjectured. This helps you keep track of what's complete and what still needs work.
Is my data private?
Yes, your data never leaves your browser. Rigor is a single-file app that stores everything locally, ensuring your research remains private.
Who is Rigor for?
Rigor is designed for mathematicians, researchers, educators, and students who need a structured way to organize mathematical knowledge and proofs.