A tool for building an understanding of mathematics that is based on the interconnectedness and dependencies of mathematical concepts and objects.
Inspired by code documentation tools that emphasize inheritence and dependencies over developing complexity.
mathdocs uses django mostly.
run with python3 manage.py runserver
changes to the models require updating the migrations and database via python3 manage.py makemigrations and then python3 manage.py migrate.
- Add steps to theorem proofs
- Add progressive reveal for theorem steps
- Add login to prevent random people for adding to the database
- enable creating/editing properties
- enable creating/editing axioms
- Add "Used in" to object models
- add \norm{G}{A} = \text{Norm}_G(A)
- Add subtheorems references to Theorem model
- Add examples to the models
- enable LaTeX preview on creating/editing screens using LaTeXNotes
- object creating
- object editing
- theorem creating and edinting
- enable editing objects
- enable creating/editing theorems
- Add "Hypothesis" to theorem models
- Add "Conclusion" to theorem models