leanprover-community / import-graphLinks

Tool to analyse the import structure of lean projects.
15Updated this week

Alternatives and similar repositories for import-graph

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

Sorting: