MOrg is to be a tool for organizing mathematical thoughts. Primary usage will be:
- Write a bunch of articles such as definitions, theorems, propositions, lemmas, and corollaries some of which may include proofs of them.
- Organize these articles into sections and then a document.
- Convert the document to LaTeX and then PDF.
- Generate from the document a website where each article has its own page.
All articles have unique and permanent identifier. Section and article numberings may change when the document structure has changed, but an identifier consistently refers to a particular article. This system is the same as those of The Stacks project, Kerodon and Jon Sterling’s Forest.
MIT