A personal project to map out all known mathematical theorems, definitions, and knowledge. Implements a graph theory based approach with nodes as theorems and edges as proofs. Includes details of how such a structure will be created, maintained, and updated