Welcome to openmath, a fully open source project to create a math learning resource to everyone

- Helps users learn topics in mathematics
- Suitable for offline use
- Contains concise mathematical information
- Simple tech stack (minimal possible dependencies)
- Accessible for all skill levels
- Easy to navigate
- Freely accessible
- Any user can contribute

Additionally it focuses on *recursive learning*, which is that given a statement for each definition in that statement you can follow it back to a previous
definition recursively until you're at some fundamental definition and then work your way back to the original statement. Openmath attempts to make
*recursive learning* as smooth as possible.

As a catch-all for anyone who doesn't want to use discord, we have GitHub discussions, which you will have access to already if you have a GitHub account.

Anyone can contribute to openmath, to get started make a GitHub account and head to source code, the html folder contains all the mathematical content.

Once you've grasped the basics of contributing, check out `openmath-cli`

to speed up your workflow.

- Definition: Notation words or anything used to encapsulate something larger into something smaller
- Theorem: Something which is true, that takes more effort to show and is most likely used in many places
- Proposition: A theorem of lesser importance
- Lemma: A true statement which is used in proving of a theorem, and not used in many other places
- Corollary: A true statement that doesn't take much effort to prove from a theorem or lemma
- Exercise: Something for the reader to try themselves