GitHub repository: m4lvin/depgraph
Primary language: Haskell
Description: Draw dependency graphs for math theorems