leanprover-community / import-graphLinks

Tool to analyse the import structure of lean projects.
14Updated 2 weeks ago

Alternatives and similar repositories for import-graph

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

Sorting: