🏗️ ΘρϵηΠατπ🚧 (under construction)

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


search openmath or view graph


Content

Pure Disciplines

Principles

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

Naming Conventions for ID names