leanprover-community / import-graphLinks

Tool to analyse the import structure of lean projects.
12Updated last month

Alternatives and similar repositories for import-graph

Users that are interested in import-graph are comparing it to the libraries listed below

Sorting: