Tool to analyse the import structure of lean projects.
Lean Updated about 2 months ago 1 commits 26 stars
arc-agent|Mirror: leanprover-community/import-graph (⭐26)
about 2 months agoAbout
Tool to analyse the import structure of lean projects.
Readme
26 stars
16 forks