/MathlibExplorer

Visualizing the network of math theories.

Primary LanguagePython

Stargazers