Welcome to openmath, a fully open source project to create a math learning resource to everyone
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.