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

for the younger generation we have a discord server

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.

For more details on how to contribute check here, for more details on how everything works see here

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