In the world of mathematics, clarity and precision are paramount. Rigor is a powerful workspace that transforms how mathematicians organize their work, offering a knowledge graph, LaTeX support, and dependency tracking in a sleek, offline environment. Discover how this tool can elevate your research and writing.

Rigor: The Ultimate Mathematical Knowledge Graph & Proof Workspace

Mathematics is a discipline built on logical connections. Every theorem rests on a foundation of definitions and lemmas, and every proof weaves a chain of reasoning. Yet, traditional document editors fail to capture this interconnectedness. **Rigor** changes that. It is a dedicated workspace designed for mathematicians, researchers, and students who need to manage complex mathematical knowledge with structure and ease.

What is Rigor?

Rigor is a **mathematical knowledge graph and proof engineering console**. It goes beyond simple note-taking by treating definitions, lemmas, theorems, proofs, examples, and bibliography entries as distinct but interconnected entities. You can link them, visualize their dependencies, and track the status of your proofs. The result is a dynamic, living document that reflects the logical structure of your mathematical thinking.

Key Features That Set Rigor Apart

**Knowledge Graph**: Visualize how definitions support lemmas, which in turn support theorems. The interactive dependency graph lets you see the entire logical structure of your work at a glance.
**LaTeX Editor**: Write mathematical notation with ease using a built-in LaTeX editor with a symbol palette and real-time preview. No more switching between applications.
**Proof Status Tracking**: Mark proofs as proved, unproved, or conjectured. Rigor helps you keep track of what's solid and what's still in progress.
**Dependency Management**: Explicitly link a theorem to the definitions and lemmas it relies on. This ensures your work is logically sound and easy to review.
**Offline & Private**: Your data is stored locally in your browser using IndexedDB. Work without an internet connection and keep your research private.
**Export Flexibility**: Export your entire workspace or individual items to Markdown or LaTeX, making it easy to share or integrate with other tools.
**Global Search**: Find any theorem, proof, or symbol instantly with the powerful search feature.
**Command Palette**: Navigate quickly and execute actions with keyboard shortcuts.

Why Mathematicians Need a Specialized Workspace

Generic note-taking apps fall short when dealing with the complexity of mathematical research. A theorem is not just a block of text; it's a node in a web of logical dependencies. Rigor acknowledges this by providing a **knowledge graph** that makes these relationships explicit. This is invaluable for:

**Research**: Keep track of the ever-growing body of results in your field. See at a glance which theorems are proven and which are still open.
**Education**: Structure course content so students can see how concepts build on each other. Show them the logical path from axioms to advanced results.
**Writing**: When writing a paper, ensure that every claim is properly supported. Rigor helps you identify gaps in your reasoning.
**Studying**: For students, Rigor is a powerful study aid. Create a personal knowledge base and reinforce your understanding of the connections between ideas.

How Rigor Works

Organize Your Knowledge

Rigor's sidebar gives you access to all the key components: Definitions, Theorems, Proofs, Examples, and Bibliography. Each is a separate view, but they are deeply interconnected. For example, you can create a definition, then create a lemma that depends on it, and then a theorem that uses the lemma.

Build Your Dependency Graph

The **Dependency Graph** is the heart of Rigor. It displays all your mathematical entities as nodes and their relationships as edges. You can see at a glance which theorems depend on which lemmas, and which definitions are foundational. This visual representation is not just pretty; it's a powerful tool for identifying logical gaps or redundant assumptions.

Write with LaTeX

Rigor includes a full-featured LaTeX editor. You can write complex formulas using the symbol palette or your own LaTeX commands. The live preview ensures your notation is correct. Once you're done, you can export your work to LaTeX or Markdown for further processing.

Track Proof Status

For each theorem, you can assign a proof status: **Proved**, **Unproved**, or **Conjectured**. This simple feature is incredibly useful for research projects. You can filter your theorems by status and focus on the ones that need attention.

Who Should Use Rigor?

Rigor is for anyone who works with formal mathematics:

**Mathematicians and Researchers**: Keep your research organized and transparent.
**Educators and Professors**: Prepare course materials that clearly show the logical structure.
**Students**: Build a personal knowledge base and study more effectively.
**Writers of Mathematical Texts**: Ensure your writing is logically sound and well-structured.

Getting Started with Rigor

1. **Create Definitions**: Start by adding the basic definitions that form the foundation of your work. 2. **State Theorems**: Add the theorems you want to prove or have proved. 3. **Write Proofs**: Attach proofs to theorems, using the LaTeX editor. 4. **Link Dependencies**: Use the dependency editor to connect theorems to the definitions and lemmas they rely on. 5. **Explore the Graph**: Visualize your knowledge graph to see the big picture. 6. **Export**: When ready, export your work to LaTeX or Markdown.

Conclusion

Rigor is more than a tool; it's a paradigm shift for mathematical knowledge management. By embracing the interconnected nature of mathematics, it empowers you to think clearer, write better, and research more effectively. Whether you're a seasoned researcher or a student just starting out, Rigor is the workspace you've been missing. Try it today and experience the difference.

Theorem Workspace | Rigor — Mathematical Knowledge Graph & Proof