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