Tool to analyse the import structure of lean projects.
Primary LanguageLeanApache License 2.0Apache-2.0