search

leanprover-community / import-graph

Tool to analyse the import structure of lean projects.
https://reservoir.lean-lang.org/@leanprover-community/import-graph
Apache License 2.0
8 stars 5 forks source link

feat: replace --reduce with --show-transitive, changing the default behaviour #26

Closed kim-em closed 2 months ago

joneugster commented 2 months ago

Updated the README directly on main