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

chore: use lexicographic sorting #24

Closed joneugster closed 3 months ago

joneugster commented 3 months ago

adaptation of #18