Dependency Graph generator
This project is WIP around HOL4, that's why the current front-ends currently focus on HOL4. I will eventually (soon I hope) add more front-ends. Python is high on my list, because I want this project to be self-documenting!
Licence
This project is under the GPLv3 licence, because I care about sharing and improvement, especially in a project like this one where we would like to support every language :)