A tool used to generate dependency graphs for LEAN projects. https://github.com/patrik-cihal/lean-graph