Visualizations of theorem relationships using graphs