Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
 
 
 
 
 
 
 
 
 
 

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

Releases

No releases published

Packages

No packages published