agda-deps: An Agda backend for visualizing lemma dependencies. The backend is defined in src/Main.hs. Run the backend with: $ cabal run agda-deps -- -i test/ -o test/ test/Test.agda Relevant links https://unimath.github.io/agda-unimath/VISUALIZATION.html