https://github.com/enjeck/theorem-graphs

Visualizing mathematical theorem relationships using graphs
https://github.com/enjeck/theorem-graphs

graph graph-visualization theorem theorems visualization

Last synced: 2 months ago
JSON representation

Visualizing mathematical theorem relationships using graphs

• Host: GitHub
• URL: https://github.com/enjeck/theorem-graphs
• Owner: enjeck
• Created: 2021-11-28T15:40:53.000Z (over 4 years ago)
• Default Branch: main
• Last Pushed: 2025-12-14T09:30:44.000Z (5 months ago)
• Last Synced: 2025-12-16T13:40:53.115Z (5 months ago)
• Topics: graph, graph-visualization, theorem, theorems, visualization
• Language: JavaScript
• Homepage: https://enjeck.com/theorem-graphs/
• Size: 2.45 MB
• Stars: 4
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# theorem-graphs

A web app for visualizing theorem relationships using graphs. 

The idea is that by visualizing the relationships between theorems, we can better understand the structure of mathematics. 

![screenshot](theorem-graphs1.png)

Try it out: https://enjeck.com/theorem-graphs/

## How to run

1. Clone the repository

2. Install dependencies: `npm install`

3. Run the development server: `npm run start`

4. Open http://localhost:1234 in your browser