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.
Try it out: https://enjeck.com/theorem-graphs/
- Clone the repository
- Install dependencies:
npm install - Run the development server:
npm run start - Open http://localhost:1234 in your browser