Rigor is a specialized workspace tailored for mathematicians to systematically manage and structure their mathematical content. It allows users to organize elements such as definitions, lemmas, theorems, proofs, and dependencies within an environment that supports LaTeX formatting and features an interactive graph. This setup helps visualize the relationships between different mathematical concepts, ensuring clarity and rigor in academic work.
Designed for researchers, educators, and students, Rigor goes beyond simple note-taking by treating mathematical knowledge as interconnected components. Each item, including examples and bibliography entries, is managed as a distinct object with clear dependencies. The platform supports offline use and provides tools to navigate the logical framework of mathematical arguments, making it a valuable resource for anyone involved in detailed mathematical proof construction and research organization.