Skip to content

khaledallen/mathdocs

Repository files navigation

mathdocs

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.

development

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.

Todo

  • 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

About

No description, website, or topics provided.

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published