Draw dependency graphs for math theorems