https://github.com/uemurax/morg

Organize mathematical thoughts
https://github.com/uemurax/morg

Last synced: 3 months ago
JSON representation

Organize mathematical thoughts

• Host: GitHub
• URL: https://github.com/uemurax/morg
• Owner: uemurax
• License: mit
• Created: 2023-06-11T21:21:07.000Z (over 1 year ago)
• Default Branch: main
• Last Pushed: 2023-10-06T14:10:02.000Z (about 1 year ago)
• Last Synced: 2024-06-30T10:22:40.866Z (5 months ago)
• Language: Racket
• Homepage:
• Size: 272 KB
• Stars: 18
• Watchers: 3
• Forks: 1
• Open Issues: 1
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# MOrg

*MOrg* is to be a tool for organizing mathematical thoughts. Primary

usage will be:

1.  Write a bunch of *articles* such as definitions, theorems,

    propositions, lemmas, and corollaries some of which may include

    proofs of them.

2.  Organize these articles into *sections* and then a *document*.

3.  Convert the document to LaTeX and then PDF.

4.  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](https://stacks.math.columbia.edu/),

[Kerodon](https://kerodon.net/) and [Jon Sterling’s

Forest](https://forest.jonmsterling.com/).

## License

MIT