---

Content

Pure Disciplines

• Fundamentals
• Number Theory
• Algebra
• Geometry
• Combinatorics
• Analysis
• Topology
• Category Theory
• Logic

Principles

• 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.

Community

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.

Contributing

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.

How it Works

Terminology

• 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

Naming Conventions for ID names

• Common less than: always use less than or equal to, or subset statements that way it is easily searchable, if this is not done then potentially for any inequality if someone is grepping for it, they will have to try two different things
• always use lowercase and use hiphen instead of space, also don't use any special symbols