I'm working on https://mathlore.org https://mathlore.org (previously called mathpendium). A site for creating a community driven collection mathematical theore

I'm working on https://mathlore.org https://mathlore.org (previously called mathpendium). A site for creating a community driven collection mathematical theorems, definitions, axioms, and conjectures to allow people to share new and existing discoveries and explore what has been discovered.